scientific article; zbMATH DE number 1522506
algebraic structuresCartesian closed categoriescategorical program semanticsdinaturalityfree categoryfull completenessfull completeness theoremsfunctional programsGentzen's proof theorylambda calculilinear logiclogicsoperational semanticsparametricity conditionPCFprogramming language semanticsproofnetstraced monoidal categories
Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to category theory (18-00) Categorical semantics of formal languages (18C50) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to (K)-theory (19-00) Semantics in the theory of computing (68Q55)
- Applications of methods of proof theory in category theory.
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages
- Physics, Topology, Logic and Computation: A Rosetta Stone
- scientific article; zbMATH DE number 4027466 (Why is no real title available?)
- Computational types from a logical perspective
- scientific article; zbMATH DE number 3999258 (Why is no real title available?)
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness
- A category-theoretic characterization of functional completeness
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 Q4510741)
