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

Cached

Download Links

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