Geometry of Interaction and the Dynamics of Proof Reduction: a tutorial (2008)

by Esfandiar Haghverdi , Philip Scott
Citations:4 - 2 self