A New Approach to Abstract Data Types II: Computation on ADTs as Ordinary Computation.

Solomon Feferman

Browse the full CSL paper archive.