The Disjunctive Constrained Lambda Calculus

Authors:
Luis Mandel;María Victoria Cengarle
Affiliations:
-;-
Venue:
Proceedings of the Second International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Year:
1996

Citing 0
Cited 2

Constraint-Lambda Calculi

FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
Disjunctive constraint lambda calculi

LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract