Temporal type theory : a topos-theoretic approach to systems and behavior /: a topos-theoretic approach to systems and behavior. ([2019])
- Record Type:
- Book
- Title:
- Temporal type theory : a topos-theoretic approach to systems and behavior /: a topos-theoretic approach to systems and behavior. ([2019])
- Main Title:
- Temporal type theory : a topos-theoretic approach to systems and behavior
- Further Information:
- Note: Patrick Schultz, David I. Spivak.
- Authors:
- Schultz, Patrick
Spivak, David I, 1978- - Contents:
- Introduction -- The Interval Domain -- Translation Invariance -- Logical Preliminaries -- Axiomatics -- Semantics and Soundness -- Local Numeric Types and Derivatives -- Applications -- Appendices -- Bibliography -- Index.
- Publisher Details:
- Cham, Switzerland : Birkhauser
- Publication Date:
- 2019
- Extent:
- 1 online resource
- Subjects:
- 003
System theory
System theory
Category Theory, Homological Algebra
Mathematical Logic and Foundations
Systems Theory, Control
Mathematical Logic and Formal Languages
Aerospace Technology and Astronautics
Electronic books
Electronic books - Languages:
- English
- ISBNs:
- 9783030007041
3030007049 - Related ISBNs:
- 9783030007034
3030007030 - Notes:
- Note: Print version record.
- Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.384763
- Ingest File:
- 02_372.xml