Temporal type theory : a topos-theoretic approach to systems and behavior

Author(s)

Bibliographic Information

Temporal type theory : a topos-theoretic approach to systems and behavior

Patrick Schultz, David I. Spivak

（Progress in computer science and applied logic, v. 29）

Birkhäuser, c2019

Available at  / 1 libraries

Search this Book/Journal

Note

Includes bibliographical references (p. 225-227) and index

Related Books： 1-1 of 1

Details

  • NCID
    BB27825327
  • ISBN
    • 9783030007034
  • Country Code
    sz
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    [S.l.]
  • Pages/Volumes
    viii, 235 p.
  • Size
    25 cm
  • Parent Bibliography ID
Page Top