Modular semantic actions.

Alessandro Warth, Patrick Dubroy, Tony Garnock-Jones

Browse the full DLS paper archive.