DMCA

A Co-induction Principle for Recursively Defined Domains (1992)

by Andrew M. Pitts
Venue:THEORETICAL COMPUTER SCIENCE
Citations:43 - 3 self