A Token Machine for Full Geometry of Interaction (2001)

Cached

Download Links

by Olivier Laurent
Venue:In TLCA ’01, SLNCS 2044
Citations:13 - 0 self