Benjamín René Callejas Bedregal, Benedito Melo Acióly. Logic of Plotkin Continuous Domain. In Ricardo A. Baeza-Yates, Eric Goles Ch., Patricio V. Poblete, editors, LATIN 95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings. Volume 911 of Lecture Notes in Computer Science, pages 195-206, Springer, 1995.
@inproceedings{BedregalA95, title = {Logic of Plotkin Continuous Domain}, author = {Benjamín René Callejas Bedregal and Benedito Melo Acióly}, year = {1995}, tags = {logic}, researchr = {https://researchr.org/publication/BedregalA95}, cites = {0}, citedby = {0}, pages = {195-206}, booktitle = {LATIN 95: Theoretical Informatics, Second Latin American Symposium, Valparaíso, Chile, April 3-7, 1995, Proceedings}, editor = {Ricardo A. Baeza-Yates and Eric Goles Ch. and Patricio V. Poblete}, volume = {911}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-59175-3}, }