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

by Dominique Duval, Jean-Claude Reynaud
Venue:Mathematical Structures in Computer Science