Evaluation Logic, G. Birtwistle (Ed.), IVth Higher Order Workshop (1990)

by A M Pitts
Venue:Workshops in Computing (Springer-Verlag