000			00473nmm a2200145Ia 4500
008			230125s9999||||xx |||||||||||||||||und||
020			_a9783030007041
100			_aPatrick Schultz, David I. Spivak
245		0	_aTemporal Type Theory
250			_a1st ed. 2019
260			_bSpringer International Publishing _c2019
440			_aProgress in Computer Science and Applied Logic
650			_aMathematics and Statistics
856			_uhttps://doi.org/10.1007/978-3-030-00704-1
999			_c11933 _d11933