Strict Geometry of Interaction Graph Models.

Furio Honsell, Marina Lenisa, Rekha Redamalla

Browse the full LPAR paper archive.