Loading…
Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 ; revised selected papers / Thorsten Altenkirch, Conor McBride (eds.). international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 ; revised selected papers /
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Book |
| Language: | English |
| Published: |
Berlin :
Springer,
2007.
|
| Series: | Lecture notes in computer science,
4502 |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Pilkington Library
|
Shelfmark:
005.131/TYP |
|
|
Copy number
Shelving location
Availability
| |
|
Copy [0403534968]
Unknown
On Shelf
|
|