Skip to content

Krivine Machines and Higher-Order Schemes.

Sylvain Salvati, Igor Walukiewicz

VenueA*ICALP
Year2011
ProceedingsICALP (2)

Browse the full ICALP paper archive.