Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Strong Normalization in the π-calculus with Intersection and Union Types

Piccolo M.

Fundamenta Informaticae

2012

Vol. 121, nr 1/4

227-252

In this work we present an extension of the linear typing discipline for π-calculus, introduced by Yoshida,Honda and Berger, with Intersection and Union Types. We show that we are able to define a typing system for the π-calculus, which guarantees that every well-typed term is strongly normalizing. This typing system is an extension of that presented in [30] since it is able to type more terms than that presented there.