Kunčak V., Confluence of Untyped Lambda Calculus via Simple Types (2001)

by S Ghilezan
Venue:ICTCS 2001”, Restivo A., Ronchi Della Rocca S., and Roversi L. (eds.), LNCS 2202