Pages that link to "Item:Q2642466"
From MaRDI portal
The following pages link to Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts (Q2642466):
Displaying 5 items.
- ASP\(_{\text{fun}}\) : a typed functional active object calculus (Q433340) (← links)
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- Mechanizing type environments in weak HOAS (Q897934) (← links)
- Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts (Q2642466) (← links)
- A Mechanized Model of the Theory of Objects (Q5428912) (← links)
