%0 Conference Paper %1 conf/wrla/DownenJA18 %A Downen, Paul %A Johnson-Freyd, Philip %A Ariola, Zena M. %B WRLA@ETAPS %D 2018 %E Rusu, Vlad %I Springer %K dblp %P 205-225 %T Uniform Strong Normalization for Multi-discipline Calculi. %U http://dblp.uni-trier.de/db/conf/wrla/wrla2018.html#DownenJA18 %V 11152 %@ 978-3-319-99840-4

@inproceedings{conf/wrla/DownenJA18, added-at = {2021-07-25T00:00:00.000+0200}, author = {Downen, Paul and Johnson-Freyd, Philip and Ariola, Zena M.}, biburl = {https://www.bibsonomy.org/bibtex/2333caa0877bfb551edb0d88df4206e76/dblp}, booktitle = {WRLA@ETAPS}, crossref = {conf/wrla/2018}, editor = {Rusu, Vlad}, ee = {https://doi.org/10.1007/978-3-319-99840-4_12}, interhash = {a9a5b9f83f686c1429857cb27c1f753f}, intrahash = {333caa0877bfb551edb0d88df4206e76}, isbn = {978-3-319-99840-4}, keywords = {dblp}, pages = {205-225}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T14:20:14.000+0200}, title = {Uniform Strong Normalization for Multi-discipline Calculi.}, url = {http://dblp.uni-trier.de/db/conf/wrla/wrla2018.html#DownenJA18}, volume = 11152, year = 2018 }