## Markov’s principle for propositional type theory (2001)

### Cached

### Download Links

by
Alexei Kopylov
,
Aleksey Nogin

Venue: | Computer Science Logic, Proceedings of the 10 th Annual Conference of the EACSL |

Citations: | 7 - 5 self |