Doing Algebra in Simple Type Theory (1989)

by Elsa Gunter