scientific article; zbMATH DE number 1522506

zbMath0967.18003MaRDI QIDQ4510741

Philip J. Scott

Publication date: 28 August 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

operational semanticslogicslinear logicCartesian closed categoriesalgebraic structuresPCFfree categoryprogramming language semanticsfull completenessfunctional programsdinaturalitytraced monoidal categorieslambda calculicategorical program semanticsfull completeness theoremsGentzen's proof theoryparametricity conditionproofnets

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to category theory (18-00) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to (K)-theory (19-00)

Related Items (2)

Logical relations and parametricity -- a Reynolds programme for category theory and programming languages ⋮ Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness

Uses Software

• Coq

This page was built for publication: