Quali ed Types: Theory and Practice (1994)

by Mark P Jones
Venue:In Jean-Louis Lassez and Gordon Plotkin, editors, Computational Logic: Essays in Honor of Alan Robinson, chapter 8