Reduction and conversion strategies for the calculus of (co)inductive constructions. I (Q2866803)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Reduction and conversion strategies for the calculus of (co)inductive constructions. I |
scientific article; zbMATH DE number 6236529
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reduction and conversion strategies for the calculus of (co)inductive constructions. I |
scientific article; zbMATH DE number 6236529 |
Statements
6 December 2013
0 references
reduction strategy
0 references
conversion
0 references
calculus of inductive construction
0 references
abstract machine
0 references
0.87705904
0 references
0.8663317
0 references
0.8612576
0 references
0.8606293
0 references
0 references
0.8558539
0 references
0.85318923
0 references
Reduction and conversion strategies for the calculus of (co)inductive constructions. I (English)
0 references
