Types in logic, mathematics and programming

In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier. pp. 137 (1998)
  Copy   BIBTEX


This article has no associated abstract. (fix it)



    Upload a copy of this work     Papers currently archived: 92,923

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

46 (#354,703)

6 months
2 (#1,255,269)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Intuitionistic epistemic logic.Sergei Artemov & Tudor Protopopescu - 2016 - Review of Symbolic Logic 9 (2):266-298.
Typing in reflective combinatory logic.Nikolai Krupski - 2006 - Annals of Pure and Applied Logic 141 (1):243-256.

Add more citations

References found in this work

No references found.

Add more references