scientific article; zbMATH DE number 3928997

MaRDI QIDQ3703897zbMATH OpenFDO

Authors Pierre-Louis Curien

Publication date 1985

zbMATH Keywords

cartesian closed categoriescategories of modelslambda calculusmany-sorted equational presentationssemantic equivalencesyntactic equivalence

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Equational classes, universal algebra in model theory (03C05) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Abstract data types; algebraic specification (68Q65)

Cited in

(6)

• On the semantic equivalence of language syntax formalisms
• Scott sentences for equivalence structures
• The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus
• Applications of methods of proof theory in category theory.
• scientific article; zbMATH DE number 65742 (Why is no real title available?)
• A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE

This page was built for publication:

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