Relational Properties of Recursively Defined Domains (1993)

Cached

Download Links

by Andrew M. Pitts
Venue:In 8th Annual Symposium on Logic in Computer Science
Citations:15 - 2 self