Pages that link to "Item:Q5704030"
From MaRDI portal
The following pages link to Typed Lambda Calculi and Applications (Q5704030):
Displaying 10 items.
- Type-based termination of generic programs (Q923883) (← links)
- Polymorphic rewrite rules: confluence, type inference, and instance validation (Q1648875) (← links)
- A predicative analysis of structural recursion (Q2784165) (← links)
- Type-Based Termination with Sized Products (Q3540199) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← links)
- Type-base flow analysis (Q5178873) (← 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)
- Is sized typing for Coq practical? (Q6099202) (← links)