%0 Conference Paper %1 conf/itp/NorrishH13 %A Norrish, Michael %A Huffman, Brian %B ITP %D 2013 %E Blazy, Sandrine %E Paulin-Mohring, Christine %E Pichardie, David %I Springer %K dblp %P 133-146 %T Ordinals in HOL: Transfinite Arithmetic up to (and Beyond) ω 1. %U http://dblp.uni-trier.de/db/conf/itp/itp2013.html#NorrishH13 %V 7998 %@ 978-3-642-39633-5

@inproceedings{conf/itp/NorrishH13, added-at = {2019-10-19T00:00:00.000+0200}, author = {Norrish, Michael and Huffman, Brian}, biburl = {https://www.bibsonomy.org/bibtex/25aa91b2579a9f44fff127eaefb22488c/dblp}, booktitle = {ITP}, crossref = {conf/itp/2013}, editor = {Blazy, Sandrine and Paulin-Mohring, Christine and Pichardie, David}, ee = {https://doi.org/10.1007/978-3-642-39634-2_12}, interhash = {fea2723905d4add251b48bd3ca3fccde}, intrahash = {5aa91b2579a9f44fff127eaefb22488c}, isbn = {978-3-642-39633-5}, keywords = {dblp}, pages = {133-146}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T14:13:09.000+0200}, title = {Ordinals in HOL: Transfinite Arithmetic up to (and Beyond) ω 1.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2013.html#NorrishH13}, volume = 7998, year = 2013 }