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

Distinguished Dissertations Extensional Constructs in Intensional Type Theory, (Paperback) Author: Springer ISBN: 9781447112433 Format: Paperback Publication Date: 2011-09-22 Page Count: 216You may also like Recherchieren Und Publizieren Im World Wide Web: Mit Vollständiger Html-Referenz Inkl. Version 3.0, (Paperback).