The Geometry of Implementation (an investigation into using the Geometry of Interaction for language implementation (1994)

by I Mackie