Pages that link to "Item:Q3540199"
From MaRDI portal
The following pages link to Type-Based Termination with Sized Products (Q3540199):
Displayed 9 items.
- Linear dependent types in a call-by-value scenario (Q2441513) (← links)
- Probabilistic Termination by Monadic Affine Sized Typing (Q2988649) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← links)
- Well-founded recursion with copatterns and sized types (Q5371960) (← links)
- Interactive programming in Agda – Objects and graphical user interfaces (Q5372002) (← links)
- Partiality and recursion in interactive theorem provers – an overview (Q5741556) (← links)
- Is sized typing for Coq practical? (Q6099202) (← links)
- Towards a practical library for monadic equational reasoning in Coq (Q6109209) (← links)
- A sound strategy to compile general recursion into finite depth pattern matching (Q6113899) (← links)