A Theory of Finite Sets in Constructive Type Theory (1987)

by P Chisholm