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

https://hrcak.srce.hr/150266

Publication date:

30.6.1997.

Visits: 462 *