Constructive forcing, CPS translations and witness extraction in Interactive realizability

Mathematical Structures in Computer Science, Volume 27, Issue 6, 2015.

Cited by: 2|Bibtex|Views9|Links
EI

Code:

Data:

Your rating :
0

 

Tags
Comments