Label-selective &lgr;-calculus syntax and confluence

Authors:
Hassan Aït-Kaci;Jacques Garrigue
Affiliations:
-;-
Venue:
Selected papers of the thirteenth conference on Foundations of software technology and theoretical computer science
Year:
1995

The typed polymorphic label-selective λ-calculus

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Enriching the lambda calculus with contexts: toward a theory of incremental program construction

Proceedings of the first ACM SIGPLAN international conference on Functional programming
MBase: representing knowledge and context for the intergration of mathematical software systems

Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction

Hi-index	0.00