Weak βη-normalization and normalization by evaluation for System F (2008)

by Andreas Abel
Venue:In LPAR’08, volume 5330 of LNAI
Citations:2 - 2 self