Limits of ML-de (1996)

by S Kahrs
Venue:PLILP'96, LNCS