The following pages link to (Q4457444):
Displaying 7 items.
- Dependent types for program termination verification (Q1850960) (← links)
- From control effects to typed continuation passing (Q2942920) (← links)
- Termination checking with types (Q4659886) (← links)
- Logic Programming (Q5191484) (← links)
- (Q5216302) (← links)
- Compositional Coinduction with Sized Types (Q5739446) (← links)
- Semi-continuous Sized Types and Termination (Q5900207) (← links)