<departmental bulletin paper>
A relation between the size of term and the number of reduction steps in lambda calculus computations
Creator | |
---|---|
Language | |
Publisher | |
Date | |
Source Title | |
Vol | |
First Page | |
Last Page | |
Publication Type | |
Access Rights |
Hide fulltext details.
File | FileType | Size | Views | Description |
---|---|---|---|---|
hirokawa_214 | 405 KB | 193 |
Details
Record ID | |
---|---|
ISSN | |
NCID | |
Notes | |
Created Date | 2015.11.26 |
Modified Date | 2020.10.07 |