Glynn Winskel
Glynn Winskel
5 featured booksGlynn Winskel
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
OL4451556A
Overview
Catalog identity and bibliographic footprint for this author.
5 representative editions
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Personal name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryLS
La semantica formale dei linguaggi di programmazione
cover - Image source: Open LibraryAL
Automata, Languages and Programming
cover - Image source: Open LibraryTF
The formal semantics of programming languages
cover - Image source: Open LibrarySO
Seminar on Concurrency
cover - ITIntroduction to Formal SemanticsGlynn Winskel
Introduction to Formal Semantics
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.