An Algorithmic Approach to the Semantics of Programming Languages.

Gianni Aguzzi, Renzo Pinzani, Renzo Sprugnoli

Browse the full ICALP paper archive.