ISBN 9781447112433 books & textbook

Extensional Constructs in Intensional Type Theory (Distinguished Dissertations)

Hofmann, Martin

Springer /2011-09-22 Paperback / 228 Pages
isbn-10: 1447112431 / isbn-13: 9781447112433