Pages that link to "Item:Q2841233"
From MaRDI portal
The following pages link to Developing (meta)theory of \(\lambda\)-calculus in the theory of contexts (Q2841233):
Displaying 4 items.
- Nominal logic, a first order theory of names and binding (Q1887151) (← links)
- Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts (Q2642466) (← links)
- Enriching the lambda calculus with contexts: toward a theory of incremental program construction (Q2817703) (← links)
- The theory of contexts for first order and higher order abstract syntax (Q2841274) (← links)