Extensional Constructs in Intensional Type Theory (Distinguished Dissertations)

More Information

Format: Paperback
Pages: 232
Edition: Softcover reprint of the original 1st ed. 1997
Publisher: Springer London
Published: 01 Jan 1997
ISBN 10: 1447112431
ISBN 13: 9781447112433