Conservation and Uniform Normalization in Lambda Calculi With Erasing Reductions (2002)

View PDF

Download Links

by Peter Møller Neergaard , Morten Heine Sørensen
Citations:1 - 0 self