Pages that link to "Item:Q2841233"

The following pages link to Developing (Meta)Theory of λ-calculus in the Theory of Contexts1 1Work partially supported by Italian MURST project tosca and EC-WG types. (Q2841233):

Displayed 2 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)