Skip to content

On Constructor Rewrite Systems and the Lambda-Calculus.

Ugo Dal Lago, Simone Martini

VenueA*ICALP
Year2009
ProceedingsICALP (2)

Browse the full ICALP paper archive.