Pages that link to "Item:Q1854404"
From MaRDI portal
The following pages link to On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions (Q1854404):
Displaying 5 items.
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- A calculus for attribute-based memory updates (Q2119988) (← links)
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP (Q2198135) (← links)
- Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts (Q2642466) (← links)
- AbU: a calculus for distributed event-driven programming with attribute-based interaction (Q6038690) (← links)
