The following pages link to (Q5089035):
Displaying 6 items.
- Temporal refinements for guarded recursive types (Q2233479) (← links)
- A Brief Overview of Agda – A Functional Language with Dependent Types (Q3183520) (← links)
- Denotational semantics for guarded dependent type theory (Q5139284) (← links)
- (Q6068934) (← links)
- Formal definitions and proofs for partial (co)recursive functions (Q6615564) (← links)
- Greatest HITs: higher inductive types in coinductive definitions via induction under clocks (Q6649477) (← links)