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)

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80571-1

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)