The Disjunctive Constrained Lambda Calculus - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Luis Mandel' in GoogleThis author has not been identified. Look up 'María Victoria Cengarle' in Google

runs on WebDSL