Progress in Computer Science and Applied Logic - Temporal Type Theory
Latest Publications

TOTAL DOCUMENTS

8
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030007034, 9783030007041
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Applications

2019 ◽  
pp. 157-177
Author(s):  
Patrick Schultz ◽  
David I. Spivak

Local Numeric Types and Derivatives

2019 ◽  
pp. 133-156
Author(s):  
Patrick Schultz ◽  
David I. Spivak

Translation Invariance

2019 ◽  
pp. 39-45
Author(s):  
Patrick Schultz ◽  
David I. Spivak
Keyword(s):  
Translation Invariance

Logical Preliminaries

2019 ◽  
pp. 47-86
Author(s):  
Patrick Schultz ◽  
David I. Spivak

Introduction

2019 ◽  
pp. 1-15
Author(s):  
Patrick Schultz ◽  
David I. Spivak

Semantics and Soundness

2019 ◽  
pp. 115-132
Author(s):  
Patrick Schultz ◽  
David I. Spivak

The Interval Domain

2019 ◽  
pp. 17-37
Author(s):  
Patrick Schultz ◽  
David I. Spivak

Axiomatics

2019 ◽  
pp. 87-114
Author(s):  
Patrick Schultz ◽  
David I. Spivak
Load More ...
Sign in / Sign up

Export Citation Format

Share Document