A category-theoretic account of program modules

DOI10.1017/S0960129500000074zbMath0747.18009MaRDI QIDQ4713399

Eugenio Moggi

Publication date: 25 June 1992

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

identification2-categoryMLindexed categoriesmodels for programming languagesmodules with dependent types

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30)

Related Items

Term graph rewriting and garbage collection using opfibrations, Semantic embedding for quantum algorithms, On cubism, Some fundamental algebraic tools for the semantics of computation. III: Indexed categories, A characterization of lambda definability in categorical models of implicit polymorphism, Invariants of monadic coalgebras, Comprehension categories and the semantics of type dependency, Unnamed Item, The simplicial model of univalent foundations (after Voevodsky), Notions of computation and monads, Equilogical spaces

Cites Work

• The formal theory of monads
• Locally cartesian closed categories and type theory
• Fibered categories and the foundations of naive category theory
• Categorical semantics for higher order polymorphic lambda calculus