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 9 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)
- An interpretation of typed objects into typed \(\pi\)-calculus (Q1271311) (← links)
- Calculus of task-constructive objects and their interpretations: II (Q1387028) (← links)
- Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts (Q2642466) (← links)
- Encoding FIX in Object Calculi (Q4494479) (← links)
- (Q4925871) (← links)
- A Mechanized Model of the Theory of Objects (Q5428912) (← links)
