Pages that link to "Item:Q2724040"
From MaRDI portal
The following pages link to The maximality of the typed lambda calculus and of cartesian closed categories (Q2724040):
Displaying 10 items.
- Nominal lambda calculus: an internal language for FM-Cartesian closed categories (Q265798) (← links)
- Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus (Q428894) (← links)
- Weak typed Böhm theorem on IMLL (Q866556) (← links)
- Embedding of a free cartesian-closed category into the category of sets (Q1380064) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- The maximality of Cartesian categories (Q2707078) (← links)
- (Q3024853) (← links)
- (Q3760508) (← links)
- (Q4474857) (← links)
- ETA-RULES IN MARTIN-LÖF TYPE THEORY (Q5240810) (← links)