The following pages link to (Q4435467):
Displaying 11 items.
- A model of guarded recursion via generalised equilogical spaces (Q1704599) (← links)
- A term calculus for (co-)recursive definitions on streamlike data structures (Q2566066) (← links)
- Transfinite Step-Indexing: Decoupling Concrete and Logical Steps (Q2802498) (← links)
- Deriving structural hylomorphisms from recursive definitions (Q2817685) (← links)
- Inductive and coinductive components of corecursive functions in Coq (Q2873661) (← links)
- Using Structural Recursion for Corecursion (Q3638255) (← links)
- Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme (Q3638258) (← links)
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic (Q4625160) (← links)
- NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC (Q5001550) (← links)
- Foundations of Software Science and Computation Structures (Q5308447) (← links)
- Formal definitions and proofs for partial (co)recursive functions (Q6615564) (← links)