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:8 - 5 self