Distinguished Dissertations Extensional Constructs in Intensional Type Theory, (Paperback)

Name: Distinguished Dissertations Extensional Constructs in Intensional Type Theory, (Paperback)
Brand: Martin Hofmann
SKU: prod_2e2f61e293095c39b33ae80a
Price: 249.00 USD
Availability: InStock

Distinguished Dissertations Extensional Constructs in Intensional Type Theory, (Paperback) Author: Springer ISBN: 9781447112433 Format: Paperback Publication Date: 2011-09-22 Page Count: 216

Shipping & Returns

Price unavailable

Distinguished Dissertations Extensional Constructs in Intensional Type Theory, (Paperback)—

$249.00

Price unavailable

Distinguished Dissertations Extensional Constructs in Intensional Type Theory, (Paperback)—

$249.00