The following pages link to (Q3400638):
Displaying 4 items.
- A coalgebraic decision procedure for NetKAT (Q2819821) (← links)
- Some Domain Theory and Denotational Semantics in Coq (Q3183523) (← links)
- Deep Generation of Coq Lemma Names Using Elaborated Terms (Q5048996) (← links)
- Formal definitions and proofs for partial (co)recursive functions (Q6615564) (← links)