Local and asynchronous beta-reduction (an analysis of Girard's execution formula) | IEEE Conference Publication | IEEE Xplore