Pages that link to "Item:Q5387897"
From MaRDI portal
The following pages link to CIC $\widehat{~}$ : Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions (Q5387897):
Displaying 6 items.
- A compact kernel for the calculus of inductive constructions (Q1040007) (← links)
- Mixed Inductive/Coinductive Types and Strong Normalization (Q3498444) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← links)
- Partiality and recursion in interactive theorem provers – an overview (Q5741556) (← links)
- (Q5875441) (← links)
- Is sized typing for Coq practical? (Q6099202) (← links)
