Temporal Type Theory

Temporal Type Theory

Available
David I. Spivak
David I. Spivak
46,00 €
E-book
pdf
Naturwissenschaften, Medizin, Informatik, Technik
Mathematik
Arithmetik, Algebra
Introduction.- The Interval Domain.- Translation Invariance.- Logical Preliminaries.- Axiomatics.- Semantics and Soundness.- Local Numeric Types and Derivatives.- Applications.- Appendices.- Bibliography.- Index.
Introduction.- The Interval Domain.- Translation Invariance.- Logical Preliminaries.- Axiomatics.- Semantics and Soundness.- Local Numeric Types and Derivatives.- Applications.- Appendices.- Bibliography.- Index.
Follow the Author

Options

  • ISBN: 9783030007041
  • Publication Date: Jan 29, 2019
  • Publisher: BIRKHÄUSER
  • Language: English
  • Format: pdf