Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1

CSL, pp. 45-60, 2013.

Cited by: 4|Bibtex|Views3|Links
EI

Code:

Data:

Your rating :
0

 

Tags
Comments