Type Theory with First-Order Data Types and Size-Change Termination (2004)

Cached

Download Links

by David Wahlstedt
Citations:2 - 0 self