Type Theory and the External Logic of Programs (1994)

by Michael Hedberg