Classifying categories for partial equational logic

DOI10.1016/S1571-0661(04)80571-1zbMath1270.03147MaRDI QIDQ2842828

Lutz Schröder

Publication date: 16 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40)

Related Items (4)

The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus ⋮ Unitary Theories, Unitary Categories ⋮ Nominal Lawvere theories: a category theoretic account of equational theories with names ⋮ Introduction to Turing categories

Uses Software

• HasCasl
• CASL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Partial morphisms in categories of effective objects
• Categories of partial maps
• Partiality, cartesian closedness, and toposes
• Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
• CASL: the Common Algebraic Specification Language.
• A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
• HasCasl: Towards Integrated Specification and Development of Functional Programs
• Locally cartesian closed categories and type theory
• Categorical semantics for higher order polymorphic lambda calculus
• Some Results on Locally Finitely Presentable Categories
• Categorical concepts for parameterized partial specifications
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• A partial functions version of Church's simple theory of types
• The completeness of the first-order functional calculus

This page was built for publication: Classifying categories for partial equational logic