An Intuitionistic Game Semantical Realizability Validating Markov's Principle

types for proofs and programs, pp. 24-44, 2014.

Cited by: 0|Bibtex|Views0|

Code:

Data:

Your rating :
0

 

Tags
Comments