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

Vincent Danos, Laurent Regnier

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Local and asynchronous beta-reduction (an analysis of Girard's execution formula)'. Together they form a unique fingerprint.

Computer Science