Collections, sets and types (1999)

by G Dowek
Venue:Mathematical Structures in Computer Science 9