Goodreads Choice Awards 2025

Temporal Type Theory > Editions

by Patrick Schultz

Sort by
Format
Language
Editions
Showing 1-3 of 3
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic)
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic)
Published January 30th 2019 by Birkhäuser
1st ed. 2019, Hardcover, 235 pages
Author(s):
ISBN:
9783030007034 (ISBN10: 3030007030)
ASIN:
3030007030
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic Book 29)
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic Book 29)
Published January 29th 2019 by Birkhäuser
1st ed. 2019, Kindle Edition, 244 pages
Author(s):
ISBN:
9783030007041 (ISBN10: 3030007049)
ASIN:
B07QQV43B5
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Paperback)
Published February 1st 2019 by Birkhäuser
Paperback, 244 pages
Author(s):
ISBN:
9783030007058 (ISBN10: 3030007057)
ASIN:
3030007057
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page