Original scientific paper
Principal Typing for Parallel and non-Deterministic Lambda-calculus
Ali S. Aoun
; Faculty of Science, Mathematics Department Hacettepe University, Ankara, Turkey
Franco Barbanera
; Dipartimento di Informatica, Universita di Torino, Torino, Italy
Mariangiola Dezani-Ciancaglini
; Dipartimento di Informatica, Universita di Torino, Torino, Italy
Seref Mirasyedioglu
; Faculty of Education, Mathematics Department, Besevler Ankara, Turkey
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
Hrčak ID:
150266
URI
Publication date:
30.6.1997.
Visits: 699 *