David I. Spivak

New Releases

Language

Ebook Format

DRM

1 - 2 of 2 results

An Invitation to Applied Category Theory: Seven Sketches in Compositionality
Cambridge University Press (2019)
US$35.99

Category theory reveals commonalities between structures of all sorts. This book shows its potential...

Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior

Temporal Type Theory

A Topos-Theoretic Approach to Systems and Behavior

Springer International Publishing (2019)
US$99.00

This innovative monograph explores a new mathematical formalism in higher-order temporal logic for...