Discovering Needed Reductions Using Type Theory Venue Theoretical Aspects of Computer Software (TACS) 1994 Publication date Apr 1994 Identifiers DOI: doi:10.1007/3-540-57887-0_115 Authors Philippa Gardner Source Materials Authors' Preprint/Accepted Version Published Edition BibTeX Citation