Pages that link to "Item:Q923883"
From MaRDI portal
The following pages link to Type-based termination of generic programs (Q923883):
Displaying 6 items.
- Datatype-generic termination proofs (Q1015386) (← links)
- Dependent types for program termination verification (Q1850960) (← links)
- Modular Dependent Induction in Coq, Mendler-Style (Q2829276) (← links)
- Formal polytypic programs and proofs (Q3070767) (← links)
- Logic Programming (Q5191484) (← links)
- (Q5875441) (← links)