Sketches and computation (part 1): Basic definitions and static evaluation (1994)

by D Duval, J-C Reynaud
Venue:Mathematical Structures in Computer Science