A finite first-order theory of classes (0)

by F Kirchner
Venue:In TYPES, T. Altenkirch and C. McBride, Eds. Lecture Notes in Computer Science