Pages that link to "Item:Q3322071"
From MaRDI portal
The following pages link to λ-definable functionals andβη conversion (Q3322071):
Displaying 11 items.
- Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus (Q428894) (← links)
- The relational model is injective for multiplicative exponential linear logic (without weakenings) (Q435194) (← links)
- Linear realizability and full completeness for typed lambda-calculi (Q556821) (← links)
- Extensional models for polymorphism (Q749518) (← links)
- Weak typed Böhm theorem on IMLL (Q866556) (← links)
- A characterization of lambda definable tree operations (Q918191) (← links)
- Word operation definable in the typed \(\lambda\)-calculus (Q1099156) (← links)
- Prelogical relations (Q1854557) (← links)
- What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics (Q2037304) (← links)
- Identity of Proofs Based on Normalization and Generality (Q4650310) (← links)
- ETA-RULES IN MARTIN-LÖF TYPE THEORY (Q5240810) (← links)
