Relational properties of recursively defined domains (1993)

by A M Pitts
Venue:In 8th Annual Symposium on Logic in Computer Science