Opject-Oriented Specification with the Parallel Multi-Label-Selective lambda-Calculus

Carlos Herrero, Javier Oliver. Opject-Oriented Specification with the Parallel Multi-Label-Selective lambda-Calculus. In Jan Pavelka, Gerard Tel, Miroslav Bartosek, editors, SOFSEM 99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999, Proceedings. Volume 1725 of Lecture Notes in Computer Science, pages 395-403, Springer, 1999. [doi]

Abstract

Abstract is missing.