Dependent types and explicit substitutions [microform] / César Muñoz.
"We present a dependent-type system for a lambda-calculus with explicit substitutions. In this system, meta-variables, subject reduction, soundness, confluence and weak normalization."--NASA Technical Reports Server web site.
Saved in:
| Online Access: |
Click here to view full text online |
|---|---|
| Main Author: | |
| Corporate Author: | |
| Format: | Government Document Microfilm Book |
| Language: | English |
| Published: |
Hampton, VA : Springfield, VA :
Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; National Technical Information Service, distributor,
[1999]
|
| Series: | NASA contractor report ;
NASA CR-209722. ICASE report ; no. 99-43. |
| Subjects: |
Internet
Click here to view full text onlineOnline
| Call Number: |
NAS 1.26:209722
|
|---|---|
| NAS 1.26:209722 | Available |
| NAS 1.26:209722 | Available |
Norlin Library - Government Information - Microform
| Call Number: |
NAS 1.26:209722
|
|---|---|
| NAS 1.26:209722 | Restricted Place a Hold |