Pages that link to "Item:Q3947643"
From MaRDI portal
The following pages link to Completeness, invariance and <i>λ</i>-definability (Q3947643):
Displaying 27 items.
- An alternate proof of Statman's finite completeness theorem (Q436624) (← links)
- Linear realizability and full completeness for typed lambda-calculi (Q556821) (← links)
- Extensional models for polymorphism (Q749518) (← links)
- Kripke-style models for typed lambda calculus (Q804559) (← links)
- Weak typed Böhm theorem on IMLL (Q866556) (← links)
- An intersection problem for finite automata (Q1118410) (← links)
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
- On the existence of closed terms in the typed lambda calculus II: Transformations of unification problems (Q1164619) (← links)
- Polymorphic rewriting conserves algebraic strong normalization (Q1176244) (← links)
- A simple proof of a theorem of Statman (Q1199546) (← links)
- The typed lambda-calculus is not elementary recursive (Q1259590) (← links)
- Third order matching is decidable (Q1337691) (← links)
- Proofs as processes (Q1342245) (← links)
- Kripke models and the (in)equational logic of the second-order \(\lambda\)-calculus (Q1356979) (← links)
- Proof of a conjecture of S. Mac Lane (Q1377606) (← links)
- The simply typed theory of \(\beta\)-conversion has no maximum extension (Q1383152) (← links)
- Equality between functionals in the presence of coproducts (Q1854334) (← links)
- On the \(\lambda Y\) calculus (Q1886326) (← links)
- The IO and OI hierarchies revisited (Q2347807) (← links)
- Typing Weak MSOL Properties (Q2949449) (← links)
- Extended First-Order Logic (Q3183527) (← links)
- λ-definable functionals andβη conversion (Q3322071) (← links)
- Reflections on a Theorem of Henkin (Q3454814) (← links)
- Dependency Tree Automata (Q3617723) (← links)
- Recognizability in the Simply Typed Lambda-Calculus (Q3638274) (← links)
- Decidability of all minimal models (Q4647581) (← links)
- The Typed Böhm Theorem (Q4916173) (← links)
