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

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