Lazy Lambda Calculus: Theories, Models and Local Structure Characterization (Extended Abstract).

C.-H. Luke Ong

Browse the full ICALP paper archive.