Structure and Representation (1989)

by R Harper, D Sannella, A Tarlecki
Venue:in LF. In: Fourth Annual Symposium on Logic in Computer Science. IEEE