Pages that link to "Item:Q5472313"
From MaRDI portal
The following pages link to Consistency of the theory of contexts (Q5472313):
Displaying 13 items.
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- Conventionalism, consistency, and consistency sentences (Q514102) (← 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 \(\lambda\)-calculus in the theory of contexts (Q2841233) (← links)
- (Q3532206) (← links)
- Proof-relevant π-calculus: a constructive account of concurrency and causality (Q4691184) (← links)
- A semantics for nabla (Q5236555) (← links)
- Bicontextualism (Q6158340) (← links)