What do you get from a -calculus semantics (1994)

by M Radestock, S Eisenbach
Venue:In To appear in: PARLE'94 Conference Proceedings