Furio Honsell
- Kathleen Fisher, Furio Honsell, and John C. Mitchell. A lambda
calculus of objects and method specialization. Nordic Journal of
Computing, 1(1):3-37, Spring 1994.
Abstract,
References,
Citations,
etc.
- P. Di Gianantonio, F. Honsell, and G. Plotkin. Uncountable
limits and the lambda calculus. Nordic Journal of
Computing, 2(2):126-145, Summer 1995.
Abstract,
References,
Citations,
etc.
Shortcuts: