The Tile Model (1996)

by Fabio Gadducci, Ugo Montanari
Venue:PROOF, LANGUAGE AND INTERACTION: ESSAYS IN HONOUR OF ROBIN MILNER