Login / Signup

Markov's Principle for Propositional Type Theory.

Alexei KopylovAleksey Nogin
Published in: CSL (2001)
Keyphrases