Philippa Gardner

Discovering Needed Reductions Using Type Theory

Authors

• Philippa Gardner

Venue

Theoretical Aspects of Computer Software (TACS) 1994

Publication Date

Apr 1994

Identifiers

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

Source Materials

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