Structure and representation in LF (1989)

by R Harper, D Sannella, A Tarlecki
Venue:In Proceedings Symposium on Logic in Computer Science