scientific article
From MaRDI portal
Publication:2724040
zbMath0968.03019arXivmath/9911073MaRDI QIDQ2724040
Publication date: 8 July 2001
Full work available at URL: https://arxiv.org/abs/math/9911073
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40) Foundations, relations to logic and deductive systems (18A15)
Related Items (4)
Coherence in SMCCs and equivalences on derivations in IMML with unit ⋮ Weak typed Böhm theorem on IMLL ⋮ Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus ⋮ ETA-RULES IN MARTIN-LÖF TYPE THEORY
This page was built for publication:
