Luis Mandel, María Victoria Cengarle. The Disjunctive Constrained Lambda Calculus. In Dines Bjørner, Manfred Broy, Igor V. Pottosin, editors, Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings. Volume 1181 of Lecture Notes in Computer Science, pages 297-309, Springer, 1996.
@inproceedings{MandelC96,
title = {The Disjunctive Constrained Lambda Calculus},
author = {Luis Mandel and María Victoria Cengarle},
year = {1996},
researchr = {https://researchr.org/publication/MandelC96},
cites = {0},
citedby = {0},
pages = {297-309},
booktitle = {Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings},
editor = {Dines Bjørner and Manfred Broy and Igor V. Pottosin},
volume = {1181},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-62064-8},
}