Pages that link to "Item:Q804559"
From MaRDI portal
The following pages link to Kripke-style models for typed lambda calculus (Q804559):
Displaying 15 items.
- A characterization of lambda definability in categorical models of implicit polymorphism (Q673121) (← links)
- Kripke semantics for higher-order type theory applied to constraint logic programming languages (Q683712) (← links)
- The semantics of second-order lambda calculus (Q751294) (← links)
- Abstract deduction and inferential models for type theory (Q988551) (← 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)
- Substitution structures (Q2295599) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- Fresh logic: Proof-theory and semantics for FM and nominal techniques (Q2372191) (← links)
- Cryptographic logical relations (Q2481976) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
