The maximality of the typed lambda calculus and of cartesian closed categories

MaRDI QIDQ2724040zbMATH OpenFDO

Authors Kosta Došen, Zoran Petrić

Publication date 8 July 2001

Published in Publications de l'Institut Mathématique. Nouvelle Série (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9911073, https://eudml.org/doc/121189

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

typed lambda calculuscartesian closed categories

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Foundations, relations to logic and deductive systems (18A15)

Cited in

(10)

• Nominal lambda calculus: an internal language for FM-Cartesian closed categories
• scientific article; zbMATH DE number 4010480 (Why is no real title available?)
• Coherence in SMCCs and equivalences on derivations in IMML with unit
• scientific article; zbMATH DE number 2079044 (Why is no real title available?)
• Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus
• The maximality of Cartesian categories
• Weak typed Böhm theorem on IMLL
• scientific article; zbMATH DE number 2185676 (Why is no real title available?)
• Eta-rules in Martin-Löf type theory
• Strong typed Böhm theorem and functional completeness on the linear lambda calculus

This page was built for publication: The maximality of the typed lambda calculus and of cartesian closed categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2724040)