DMCA

A Typed Functional Calculus with State (1997)

by Arend Rensink