Pages that link to "Item:Q4340418"
From MaRDI portal
The following pages link to Mechanizing coinduction and corecursion in higher-order logic (Q4340418):
Displayed 11 items.
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- Cut elimination for a logic with induction and co-induction (Q1948276) (← links)
- On the Key Dependent Message Security of the Fujisaki-Okamoto Constructions (Q2798773) (← links)
- Inductive and Coinductive Components of Corecursive Functions in Coq (Q2873661) (← links)
- Friends with Benefits (Q2988636) (← links)
- A Purely Definitional Universal Domain (Q3183534) (← links)
- Using Structural Recursion for Corecursion (Q3638255) (← links)
- Practical coinduction (Q5361147) (← links)
- Formalising Mathematics in Simple Type Theory (Q6075439) (← links)
- Squeezing streams and composition of self-stabilizing algorithms (Q6190178) (← links)