Discovering Needed Reductions Using Type Theory (1994)

View PDF

Download Links

by Philippa Gardner
Citations:21 - 0 self