The following pages link to (Q5854733):
Displaying 6 items.
- Size-based termination of higher-order rewriting (Q4577817) (← links)
- (Q5094144) (← links)
- A case study in programming coinductive proofs: Howe’s method (Q5236557) (← links)
- Well-founded recursion with copatterns and sized types (Q5371960) (← links)
- Interactive programming in Agda – Objects and graphical user interfaces (Q5372002) (← links)
- Is sized typing for Coq practical? (Q6099202) (← links)
