A Modern Perspective on Type Theory From its Origins until Today
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | Electronic Kit Book |
| Language: | English |
| Published: |
Dordrecht
Springer Science + Business Media, Inc.
2005
|
| Series: | Applied Logic Series
29 |
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/1-4020-2335-9 |
