%0 Conference Paper %1 conf/fscd/Xu20 %A Xu, Chuangjie %B FSCD %D 2020 %E Ariola, Zena M. %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 25:1-25:17 %T A Gentzen-Style Monadic Translation of Gödel's System T. %U http://dblp.uni-trier.de/db/conf/fscd/fscd2020.html#Xu20 %V 167 %@ 978-3-95977-155-9

@inproceedings{conf/fscd/Xu20, added-at = {2020-06-30T00:00:00.000+0200}, author = {Xu, Chuangjie}, biburl = {https://www.bibsonomy.org/bibtex/212aec750a6bf8da8e80637a7d4f4addc/dblp}, booktitle = {FSCD}, crossref = {conf/fscd/2020}, editor = {Ariola, Zena M.}, ee = {https://doi.org/10.4230/LIPIcs.FSCD.2020.25}, interhash = {7dfd8d5817d22aaa6a4a5c139e62c97a}, intrahash = {12aec750a6bf8da8e80637a7d4f4addc}, isbn = {978-3-95977-155-9}, keywords = {dblp}, pages = {25:1-25:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:50:57.000+0200}, title = {A Gentzen-Style Monadic Translation of Gödel's System T.}, url = {http://dblp.uni-trier.de/db/conf/fscd/fscd2020.html#Xu20}, volume = 167, year = 2020 }