scientific article
From MaRDI portal
Publication:2754136
zbMath0973.03016MaRDI QIDQ2754136
Robert D. Tennent, Donald Sannella, A. John Power, Gordon D. Plotkin
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Categorical logic, topoi (03G30) Combinatory logic and lambda calculus (03B40)
Related Items (8)
Lax Theory Morphisms ⋮ Logical relations and parametricity -- a Reynolds programme for category theory and programming languages ⋮ Semantics of higher-order quantum computation via geometry of interaction ⋮ Cryptographic logical relations ⋮ Models for the computational λ-calculus ⋮ Category Theoretic Models of Data Refinement ⋮ Axiomatics for Data Refinement in Call by Value Programming Languages ⋮ Prelogical relations
This page was built for publication:
