Pages that link to "Item:Q5900207"
From MaRDI portal
The following pages link to Semi-continuous Sized Types and Termination (Q5900207):
Displaying 11 items.
- Type-based termination of generic programs (Q923883) (← links)
- Type-based homeomorphic embedding for online termination (Q989516) (← links)
- Deep induction: induction rules for (truly) nested types (Q2200833) (← links)
- Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme (Q3638258) (← links)
- On the Relation between Sized-Types Based Termination and Semantic Labelling (Q3644746) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← links)
- A Tutorial on Type-Based Termination (Q5191089) (← links)
- Well-founded recursion with copatterns and sized types (Q5371960) (← links)
- Interactive programming in Agda – Objects and graphical user interfaces (Q5372002) (← links)
- Compositional Coinduction with Sized Types (Q5739446) (← links)
- (Q6060675) (← links)