Proof and System-Reliability
Latest Publications

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Netherlands

9781402006081, 9789401004138
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Feasible Computation with Higher Types

2002 ◽  
pp. 399-415 ◽  
Author(s):  
Helmut Schwichtenberg ◽  
Stephen J. Bellantoni
Keyword(s):  
Higher Types

Proof Theoretic Complexity

2002 ◽  
pp. 369-397 ◽  
Author(s):  
G. E. Ostrin ◽  
S. S. Wainer

Naïve Computational Type Theory

2002 ◽  
pp. 213-259 ◽  
Author(s):  
Robert L. Constable
Keyword(s):  
Type Theory
Load More ...
Sign in / Sign up

Export Citation Format

Share Document