Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: Curry-Howard correspondence

Sortuj według:

Ogranicz wyniki do:

Investigating the Logical Aspects of the Pi-calculus

Bernard N.

Schedae Informaticae

2003

Vol. 12

57-66

The relations between the p-calculus and logic have been less extensively studied than for the l-calculus. We give an account on what can be found in the literature, in two distinct directions: model-checking, and typing. We propose a Curry-Howard correspondence taking into account the dynamic properties of the p-calculus. This is a first presentation of a work in progress.