An algebraic interpretation of the fi-calculus and an application of a labelled -calculus (1976)

by J-J L'evy
Venue:Theoretical Computer Science