𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Coalgebras in functional programming and type theory

✍ Scribed by Venanzio Capretta

Book ID
113927396
Publisher
Elsevier Science
Year
2011
Tongue
English
Weight
374 KB
Volume
412
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Algebras and Coalgebras || Algebraic and
Algebras and Coalgebras || Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
✍ Backhouse, Roland; Crole, Roy; Gibbons, Jeremy πŸ“‚ Article πŸ“… 2002 πŸ› Springer Berlin Heidelberg 🌐 German βš– 166 KB

Program Construction Is About Turning Specifications Of Computer Software Into Implementations. Recent Research Aimed At Improving The Process Of Program Construction Exploits Insights From Abstract Algebraic Tools Such As Lattice Theory, Fixpoint Calculus, Universal Algebra, Category Theory, And Al

Functionalism and type-type identity the
Functionalism and type-type identity theories
✍ Frank Jackson; Robert Pargetter; Elizabeth W. Prior πŸ“‚ Article πŸ“… 1982 πŸ› Springer Netherlands 🌐 English βš– 921 KB

This paper is about how to accommodate Functionalism and type-type Identity theories of mind, and why you ought to. It thus runs counter to the common view that one message of Functionalism is that type-type versions of Identity theories should be abandoned in favour of token-token ones. We assume