%0 Conference Paper %1 conf/lics/EscardoS97 %A Escardó, Martín Hötzel %A Streicher, Thomas %B LICS %D 1997 %I IEEE Computer Society %K %P 376-386 %T Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras. %U http://dblp.uni-trier.de/db/conf/lics/lics97.html#EscardoS97 %@ 0-8186-7925-5

@inproceedings{conf/lics/EscardoS97, added-at = {2023-12-12T21:02:33.000+0100}, author = {Escardó, Martín Hötzel and Streicher, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2264d1e518b8cff52ae328a8dac67da42/admin}, booktitle = {LICS}, crossref = {conf/lics/1997}, ee = {http://doi.ieeecomputersociety.org/10.1109/LICS.1997.614963}, interhash = {383748be8825e88a974cbab90485cecd}, intrahash = {264d1e518b8cff52ae328a8dac67da42}, isbn = {0-8186-7925-5}, keywords = {}, pages = {376-386}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T21:02:33.000+0100}, title = {Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics97.html#EscardoS97}, year = 1997 }