La semantica formale dei linguaggi di programmazioneGlynn Winskel · First published 1999Open the Tome
Automata, Languages and ProgrammingKim G. Larsen, Sven Skyum, Glynn Winskel, Gerhard Goos, Juris Hartmanis · First published 1998Open the Tome
A complete proof system for SCCS with modal assertionsGlynn Winskel · First published 1985Open the Tome
Using information systems to solve recursive domain equations effectivelyGlynn Winskel · First published 1984Open the Tome
