Towards normalization by evaluation for the \(\beta \eta \)-calculus of constructions (Q3558341)
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: Towards normalization by evaluation for the -calculus of constructions |
scientific article; zbMATH DE number 5703521
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Towards normalization by evaluation for the \(\beta \eta \)-calculus of constructions |
scientific article; zbMATH DE number 5703521 |
Statements
Towards Normalization by Evaluation for the βη-Calculus of Constructions (English)
0 references
4 May 2010
0 references
0.7955834269523621
0 references
0.7882664799690247
0 references
0.7864892482757568
0 references
0.7830772399902344
0 references
