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):

Displaying 3 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)
• The Theory of Contexts for First Order and Higher Order Abstract Syntax (Q2841274) (← links)