When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Temporal Type Theory : A Topos-theoretic Approach to Systems and Behavior, Ha...
- Item No : 388713836047
- Condition : Brand New
- Brand : No brand Info
- Seller : greatbookprices1
- Current Bid : US $96.49
-
* Item Description
- Th begins with a discussion of behavior types, interval domains, and translation invariance, which serves as the groundwork for temporal type theory. From there, the authors lay out the logical preliminaries they need for their temporal modalities and explain the soundness of those logical semantics.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
