Loading...
Please wait, while we are loading the content...
Similar Documents
Type-based productivity of stream definitions in the calculus of constructions (2013)
| Content Provider | CiteSeerX |
|---|---|
| Author | Sacchini, Jorge Luis |
| File Format | |
| Language | English |
| Publisher Date | 2013-01-01 |
| Publisher Institution | In LICS’13 |
| Access Restriction | Open |
| Subject Keyword | Type Checking Logical Consistency Type-based Productivity Proof Assistant Productivity Use Type Stream Definition Type-based Mechanism Size Information General Coinductive Type Type-based Criterion Strong Normalization Coq Proof Assistant Size Annotation Abstract Productivity Essential Property Corecursive Definition |
| Content Type | Text |
| Resource Type | Article |