A game-theoretic, concurrent and fair model of the typed lambda-calculus, with full recursion (1998)

Cached

Download Links

by Yiannis N. Moschovakis
Venue:In CSL '97, LNCS 1414
Citations:1 - 0 self