The following pages link to (Q3024831):
Displayed 7 items.
- An initial algebra approach to term rewriting systems with variable binders (Q853743) (← links)
- Nominal techniques in Isabelle/HOL (Q928672) (← links)
- \(\pi\)-calculus in (Co)inductive-type theory (Q1589654) (← links)
- Structural cut elimination. I: Intuitionistic and classical logic (Q1854335) (← links)
- On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions (Q1854404) (← links)
- Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts (Q2642466) (← links)
- Primitive recursion for higher-order abstract syntax (Q5958752) (← links)