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

Cached

Download Links

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