The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus

DOI10.1016/j.tcs.2005.06.037zbMath1088.68116OpenAlexW2145253149MaRDI QIDQ2368980

Lutz Schröder

Publication date: 28 April 2006

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2005.06.037

zbMATH Keywords

CASLAlgebraic specificationCategorical logicPartial \(\lambda\)-calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Combinatory logic and lambda calculus (03B40)

Related Items (1)

HasCasl: integrated higher-order specification and program development

Uses Software

• HasCasl
• CASL

Cites Work

• Partial morphisms in categories of effective objects
• Categories of partial maps
• Partiality, cartesian closedness, and toposes
• Algebraic theories of quasivarieties
• An equational notion of lifting monad
• Restriction categories II: Partial map classification
• Amalgamation in the semantics of CASL
• Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
• A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Classifying categories for partial equational logic
• HasCasl: Towards Integrated Specification and Development of Functional Programs
• Semantics of the second order lambda calculus
• Axiomatic Domain Theory in Categories of Partial Maps
• Some Results on Locally Finitely Presentable Categories
• Monad-independent Dynamic Logic in HasCasl
• Categorical concepts for parameterized partial specifications
• Computer Science Logic
• Computer Science Logic
• Completeness in the theory of types
• Restriction categories. I: Categories of partial maps
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus