Markov’s principle for propositional type theory (2001)

by Alexei Kopylov , Aleksey Nogin
Venue:Computer Science Logic, Proceedings of the 10 th Annual Conference of the EACSL
Citations:7 - 5 self