%0 Journal Article %1 journals/lmcs/Werner08 %A Werner, Benjamin %D 2008 %J Logical Methods in Computer Science %K %N 3 %T On the Strength of Proof-irrelevant Type Theories. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs4.html#Werner08 %V 4

@article{journals/lmcs/Werner08, added-at = {2023-12-13T02:10:55.000+0100}, author = {Werner, Benjamin}, biburl = {https://www.bibsonomy.org/bibtex/20f100dc4c94c0646b248cec4e8033777/admin}, ee = {https://doi.org/10.2168/LMCS-4(3:13)2008}, interhash = {7bf65494d0d0d477fe288df71b789f40}, intrahash = {0f100dc4c94c0646b248cec4e8033777}, journal = {Logical Methods in Computer Science}, keywords = {}, number = 3, timestamp = {2023-12-13T02:10:55.000+0100}, title = {On the Strength of Proof-irrelevant Type Theories.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs4.html#Werner08}, volume = 4, year = 2008 }