Discovering Needed Reductions Using Type Theory
Authors
- Philippa Gardner
Venue
Theoretical Aspects of Computer Software, International Conference TACS ’94, Sendai, Japan, April 19-22, 1994, Proceedings, pp. 555–574
Publication Date
1994
Professor of Theoretical
Computer Science
Theoretical Aspects of Computer Software, International Conference TACS ’94, Sendai, Japan, April 19-22, 1994, Proceedings, pp. 555–574
1994