An algebraic interpretation of the fiK-calculus and a labelled -calculus (1975)

by J-J L'evy
Venue:Calculus and Computer Science Theory, number 37 in LNCS