A categorical model for higher order imperative programming (1998)

by D A Naumann
Venue:Mathematical Structures in Computer Science