%0 Conference Paper %1 conf/tlca/XuE13 %A Xu, Chuangjie %A Escardó, Martín Hötzel %B TLCA %D 2013 %E Hasegawa, Masahito %I Springer %K dblp %P 236-249 %T A Constructive Model of Uniform Continuity. %U http://dblp.uni-trier.de/db/conf/tlca/tlca2013.html#XuE13 %V 7941 %@ 978-3-642-38946-7

@inproceedings{conf/tlca/XuE13, added-at = {2021-10-14T00:00:00.000+0200}, author = {Xu, Chuangjie and Escardó, Martín Hötzel}, biburl = {https://www.bibsonomy.org/bibtex/29afc428d319cfc305ecaa25b5d012dc8/dblp}, booktitle = {TLCA}, crossref = {conf/tlca/2013}, editor = {Hasegawa, Masahito}, ee = {https://doi.org/10.1007/978-3-642-38946-7_18}, interhash = {6486a4650d19fbd63d9837c71c910dd1}, intrahash = {9afc428d319cfc305ecaa25b5d012dc8}, isbn = {978-3-642-38946-7}, keywords = {dblp}, pages = {236-249}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:50:55.000+0200}, title = {A Constructive Model of Uniform Continuity.}, url = {http://dblp.uni-trier.de/db/conf/tlca/tlca2013.html#XuE13}, volume = 7941, year = 2013 }