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

zbMATH Open0968.03019arXivmath/9911073MaRDI QIDQ2724040FDOQ2724040

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

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

Recommendations

• scientific article; zbMATH DE number 4010480
• scientific article; zbMATH DE number 4103048
• scientific article; zbMATH DE number 3941502
• scientific article; zbMATH DE number 2185676
• scientific article; zbMATH DE number 3985475

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)

• Title not available (Why is that?)
• Nominal lambda calculus: an internal language for FM-Cartesian closed categories
• Coherence in SMCCs and equivalences on derivations in IMML with unit
• Title not available (Why is that?)
• Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus
• The maximality of Cartesian categories
• Eta-rules in Martin-Löf type theory
• Title not available (Why is that?)
• Weak typed Böhm theorem on IMLL
• 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)