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

zbMATH Open0968.03019arXivmath/9911073MaRDI QIDQ2724040FDOQ2724040

Zoran Petrić, Kosta Došen

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
• scientific article; zbMATH DE number 3941502
• scientific article
• 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 (9)

• Title not available (Why is that?)
• Nominal lambda calculus: an internal language for FM-Cartesian closed categories
• ETA-RULES IN MARTIN-LÖF TYPE THEORY
• 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
• Title not available (Why is that?)
• Weak typed Böhm theorem on IMLL

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)