Relational Properties of Recursively Defined Domains (1993)

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