University of Limerick Institutional Repository

Browsing by Subject "normalisation"

DSpace Repository

Browsing by Subject "normalisation"

Sort by: Order: Results:

  • Mendel-Gleason, Gavin E.; Hamilton, Geoff W. (Meta2010, 2010)
    It has been long recognised that partial evaluation is related to proof normalisation. Normalisation by evaluation, which has been presented for theories with simple types, has made this correspondance formal. Recently ...

Search DSpace


My Account