Home Advanced Search

Advanced Search - Page 1

Lecture Notes in Category Theory [Draft]
  • PDF
  • English
  • Author: Mario Caccamo, Glynn Winskel
程序设计语言的形式语义
  • PDF
  • Chinese
  • Year: 2004
  • Author: Glynn Winskel
Set Theory for Computer Science [lecture notes]
  • PDF
  • English
  • Year: 2010
  • Author: Glynn Winskel
Discrete Mathematics II: Set Theory for Computer Science, Part IA Comp. Sci. Lecture Notes
  • PDF
  • English
  • Year: 2012
  • Author: Glynn Winskel
The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)
  • PDF
  • English
  • Year: 1993
  • Author: Glynn Winskel
The Formal Semantics of Programming Languages: An Introduction
  • PDF
  • English
  • Year: 1993
  • Author: Glynn Winskel
La Semantica Formale Dei Linguaggi Di Programmazione
  • PDF
  • Italian
  • Author: Glynn Winskel
Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9–11, 1984
  • PDF
  • English
  • Year: 1985
  • Author: Stephen D. Brookes (auth.), Stephen D. Brookes, Andrew William Roscoe, Glynn Winskel (eds.)
Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Yonit Kesten, Amir Pnueli, Li-on Raviv (auth.), Kim G. Larsen, Sven Skyum, Glynn Winskel (eds.)
Back to Middletown: Three Generations of Sociological Reflections
  • PDF
  • English
  • Year: 2002
  • Author: Rita Caccamo
search