Nominal Semantics of the pi I-calculus.

Andrei Alexandru, Gabriel Ciobanu

Browse the full SYNASC paper archive.