| Original language | English |
|---|---|
| Publisher | Oxford Univ Press |
| Number of pages | 228 |
| ISBN (Print) | 978-0-19-853835-6 |
| Publication status | Published - 1994 |
Computation and Reasoning: A Type Theory for Computer Science
Research output: Book/Report › Book
Research output: Book/Report › Book
| Original language | English |
|---|---|
| Publisher | Oxford Univ Press |
| Number of pages | 228 |
| ISBN (Print) | 978-0-19-853835-6 |
| Publication status | Published - 1994 |