Pages that link to "Item:Q804559"
From MaRDI portal
The following pages link to Kripke-style models for typed lambda calculus (Q804559):
Displayed 12 items.
- A characterization of lambda definability in categorical models of implicit polymorphism (Q673121) (← links)
- The semantics of second-order lambda calculus (Q751294) (← links)
- A semantics for \(\lambda \)Prolog (Q1349686) (← links)
- Kripke models and the (in)equational logic of the second-order \(\lambda\)-calculus (Q1356979) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Equality between functionals in the presence of coproducts (Q1854334) (← links)
- Prelogical relations (Q1854557) (← links)
- Linear Läuchli semantics (Q1919529) (← links)
- Fresh logic: Proof-theory and semantics for FM and nominal techniques (Q2372191) (← links)
- Cryptographic logical relations (Q2481976) (← links)
- Bunched polymorphism (Q3545274) (← links)
- Completeness of type assignment systems with intersection, union, and type quantifiers (Q5958301) (← links)