Normalization for Typed Lambda Calculi with Explicit Substitution (1994)

Cached

Download Links

by Eike Ritter
Venue:University of Cambridge, Computer Laboratory, Technical Report
Citations:7 - 4 self