Skip to content

The Lambda Lambda-Bar calculus: a dual calculus for unconstrained strategies.

Alexis Goyet

VenueA*POPL
Year2013
ProceedingsPOPL

Browse the full POPL paper archive.