A survey of some syntactic results (1979)

by G Berry, J-J L'evy
Venue:in the - calculus". Conference Mathematical Foundations of Computer Science