%0 Conference Paper %1 conf/csl/KopylovN01 %A Kopylov, Alexei %A Nogin, Aleksey %B CSL %D 2001 %E Fribourg, Laurent %I Springer %K dblp %P 570-584 %T Markov's Principle for Propositional Type Theory. %U http://dblp.uni-trier.de/db/conf/csl/csl2001.html#KopylovN01 %V 2142 %@ 3-540-42554-3

@inproceedings{conf/csl/KopylovN01, added-at = {2021-10-14T00:00:00.000+0200}, author = {Kopylov, Alexei and Nogin, Aleksey}, biburl = {https://www.bibsonomy.org/bibtex/2ee7b81655569172af91877a93b232138/dblp}, booktitle = {CSL}, crossref = {conf/csl/2001}, editor = {Fribourg, Laurent}, ee = {https://doi.org/10.1007/3-540-44802-0_40}, interhash = {bacb22248957a87de846b1452b52f582}, intrahash = {ee7b81655569172af91877a93b232138}, isbn = {3-540-42554-3}, keywords = {dblp}, pages = {570-584}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T06:32:38.000+0200}, title = {Markov's Principle for Propositional Type Theory.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2001.html#KopylovN01}, volume = 2142, year = 2001 }