Termination checking with types (Q4659886)
From MaRDI portal
scientific article; zbMATH DE number 2148223
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Termination checking with types |
scientific article; zbMATH DE number 2148223 |
Statements
Termination checking with types (English)
0 references
21 March 2005
0 references
Type-based termination
0 references
sized types
0 references
inductive types
0 references
course-of-value recursion
0 references
bidirectional type checking
0 references
strong normalization
0 references
