scientific article; zbMATH DE number 1759401
From MaRDI portal
Publication:4536349
zbMath0996.03041MaRDI QIDQ4536349
Samson Abramsky, Marina Lenisa
Publication date: 4 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Categorical logic, topoi (03G30) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)
Related Items (3)
Linear realizability and full completeness for typed lambda-calculi ⋮ An Algebraic Account of References in Game Semantics ⋮ Genericity and the \(\pi\)-calculus
This page was built for publication:
