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

View PDF

Download Links

by Vincent Danos , Laurent Regnier
Citations:17 - 0 self