Principal Typing for Parallel and non-Deterministic Lambda-calculus

Ali S. Aoun, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Seref Mirasyedioglu

Abstract


Parallelism and non-determinism are fundamental concepts in the process algebra theory. Combining them with lambda-calculus can enlighten the theory of higher-order process algebras. In recent papers an analysis of a lambda-calculus containing parallel and non-deterministic operators was carried on by means of a type assignment system with intersection and union types. The present paper answers the problem of determining principal types for this system.


Keywords


lambda-calculus, process algebra theory

Full Text:

PDF


Creative Commons License
This work is licensed under a Creative Commons Attribution-NoDerivatives 4.0 International License.

Crossref Similarity Check logo

Crossref logologo_doaj