Local and asynchronous beta-reduction (an analysis of Girard's execution formula)

Vincent Danos, Laurent Regnier

Browse the full LICS paper archive.