Pages that link to "Item:Q5472313"
From MaRDI portal
The following pages link to Consistency of the theory of contexts (Q5472313):
Displayed 10 items.
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- About permutation algebras, (pre)sheaves and named sets (Q853745) (← links)
- Mechanizing type environments in weak HOAS (Q897934) (← links)
- \(\mathrm{HO}\pi\) in Coq (Q2031410) (← links)
- Fresh logic: Proof-theory and semantics for FM and nominal techniques (Q2372191) (← links)
- Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts (Q2642466) (← links)
- A Simple Nominal Type Theory (Q2804939) (← links)
- Developing (Meta)Theory of λ-calculus in the Theory of Contexts1 1Work partially supported by Italian MURST project tosca and EC-WG types. (Q2841233) (← links)
- Proof-relevant π-calculus: a constructive account of concurrency and causality (Q4691184) (← links)
- A semantics for nabla (Q5236555) (← links)