Classifying categories for partial equational logic

DOI10.1016/S1571-0661(04)80571-1MaRDI QIDQ2842828zbMATH OpenFDO

Authors 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

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

Recommendations

• Partial Horn logic and Cartesian categories
• scientific article; zbMATH DE number 4008627
• Partiality, cartesian closedness, and toposes
• Unitary theories, unitary categories
• Computer Science Logic

Cites work

• scientific article; zbMATH DE number 432732 (Why is no real title available?)
• scientific article; zbMATH DE number 3650529 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 4008627 (Why is no real title available?)
• scientific article; zbMATH DE number 4021100 (Why is no real title available?)
• scientific article; zbMATH DE number 1107755 (Why is no real title available?)
• scientific article; zbMATH DE number 1754650 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 795688 (Why is no real title available?)
• scientific article; zbMATH DE number 3319584 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3379785 (Why is no real title available?)
• A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
• A partial functions version of Church's simple theory of types
• CASL: the Common Algebraic Specification Language.
• Categorical concepts for parameterized partial specifications
• Categorical semantics for higher order polymorphic lambda calculus
• Categories of partial maps
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Locally cartesian closed categories and type theory
• Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
• Partial morphisms in categories of effective objects
• Partiality, cartesian closedness, and toposes
• Some Results on Locally Finitely Presentable Categories
• The completeness of the first-order functional calculus
• \textsc{HasCasl}: towards integrated specification and development of functional programs

Cited in

(13)

• Equational type logic
• Computer Science Logic
• Partial Horn logic and Cartesian categories
• Equational logic and categorical semantics for multi-languages
• Introduction to Turing categories
• Categorical concepts for parameterized partial specifications
• Unitary theories, unitary categories
• scientific article; zbMATH DE number 4021100 (Why is no real title available?)
• Partial hyperdoctrines: categorical models for partial function logic and Hoare logic
• scientific article; zbMATH DE number 4008627 (Why is no real title available?)
• Optionality, scope, and licensing: An application of partially ordered categories
• Nominal Lawvere theories: a category theoretic account of equational theories with names
• The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus

Describes a project that uses

Uses Software

• CASL
• HasCasl

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2842828)