Pages that link to "Item:Q5704020"
From MaRDI portal
The following pages link to Typed Lambda Calculi and Applications (Q5704020):
Displaying 8 items.
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- Directly reflective meta-programming (Q848742) (← links)
- Metacircularity in the polymorphic \(\lambda\)-calculus (Q1177938) (← links)
- A simple nominal type theory (Q2804939) (← links)
- Case analysis of higher-order data (Q2804942) (← links)
- A third-order representation of the \(\lambda\mu\)-calculus (Q2841236) (← links)
- Functional programming with higher-order abstract syntax and explicit substitutions (Q2866332) (← links)
- Mtac: A monad for typed tactic programming in Coq (Q5371944) (← links)