Semi-continuous Sized Types and Termination
From MaRDI portal
Recommendations
- Semi-continuous Sized Types and Termination
- Type-Based Termination with Sized Products
- On the Relation between Sized-Types Based Termination and Semantic Labelling
- Partial Types and Intervals
- scientific article; zbMATH DE number 2061698
- Linear sized types in the calculus of constructions
- Size-based termination of higher-order rewriting
- Towards Generic Programming with Sized Types
- Size-change termination and transition invariants
- Intersection types and termination properties
Cited in
(17)- Deep induction: induction rules for (truly) nested types
- Type-Based Termination with Sized Products
- Towards Generic Programming with Sized Types
- Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme
- On the Relation between Sized-Types Based Termination and Semantic Labelling
- scientific article; zbMATH DE number 2061698 (Why is no real title available?)
- Size-based termination of higher-order rewriting
- scientific article; zbMATH DE number 935187 (Why is no real title available?)
- Linear sized types in the calculus of constructions
- A Tutorial on Type-Based Termination
- Well-founded recursion with copatterns and sized types
- Interactive programming in Agda -- objects and graphical user interfaces
- Compositional coinduction with sized types
- Semi-continuous Sized Types and Termination
- PML2: integrated program verification in ML
- Type-based termination of generic programs
- Type-based homeomorphic embedding for online termination
This page was built for publication: Semi-continuous Sized Types and Termination
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5900207)
