Philippa Gardner

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

Identifiers

• DOI: doi:10.1007/3-540-57887-0_115

Source Materials

• Authors' Preprint/Accepted Version
• Published Edition
• BibTeX Citation