scientific article; zbMATH DE number 1759401

MaRDI QIDQ4536349zbMATH OpenFDO

Authors Samson Abramsky, Marina Lenisa

Publication date 4 November 2002

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30)

Recommendations

• scientific article; zbMATH DE number 1670474
• βη-complete models for System F
• scientific article; zbMATH DE number 1183239
• Building continuous webbed models for system F
• scientific article; zbMATH DE number 1531357

Cited in

(5)

• Genericity and the \(\pi\)-calculus
• scientific article; zbMATH DE number 1670474 (Why is no real title available?)
• An algebraic account of references in game semantics
• scientific article; zbMATH DE number 4126291 (Why is no real title available?)
• Linear realizability and full completeness for typed lambda-calculi

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 Q4536349)