67-5004-94 Temporal Type Theory 978-3-030-00703-4
仕様
- サブタイトル:A Topos-Theoretic Approach to Systems and Behavior
- 著者:Schultz, Patrick/Spivak, David I.
- 叢書名:Progress in Computer Science and Applied Logic
- Vol.29
- 装丁:Hard
- 頁数他:VIII, 235 p. 67 illus., 7 illus. in color.
- 発行日:2019/02/11
- 分類:数理論理学