Simple easy terms (0)

by F Alessi, S Lusin
Venue:Electronic Notes in Theoretical Computer Science 70 (1) (2003) 1 – 18, iTRS ’02, Intersection Types and Related Systems (FLoC Satellite Event