Proofs and types
| Main Author: | Girard, Jean-Yves. |
|---|---|
| Format: | Book |
| Language: | English French |
| Published: |
Cambridge :
Cambridge University Press,
1989.
Cambridge : 1989. |
| Physical Description: |
xi, 176 pages ; 26 cm. |
| Series: |
Cambridge tracts in theoretical computer science ;
7. |
| Subjects: | |
| Online Access: |
Table of contents Inhaltstext |
Table of contents
Inhaltstext
Inhaltstext
CMU New Books 1st Floor
| Location | Call Number: | Status |
|---|---|---|
| CMU New Books 1st Floor | QA76.6 .G555 1989 |
Available
Request Chapter Scan |