Andrzej Tarlecki. Logic representation in LF (1989)

by Robert Harper, Donald Sannella
Venue:Proceedings, Conference on Category Theory and Computer Science