Old Web
English
Sign In
Acemap
>
authorDetail
>
G. Winskel
G. Winskel
University of Cambridge
Discrete mathematics
Mathematics
Computer science
Monad (functional programming)
Category theory
5
Papers
670
Citations
0.22
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Independence and Concurrent Separation Logic
2006
| IEEE Symposium on Logic in Computer Science
J Hayman
G. Winskel
Show All
Source
Cite
Save
Citations (0)
Event structures : maps, monads and spans : invited talk
2005
G. Winskel
Show All
Source
Cite
Save
Citations (0)
Bosch, R., see Bagaria, J. Cholak, P., see Ash, CJ
1997
U. Engberg
G. Winskel
S. Ghilardi
G. Meloni
P. Matet
D. Skvortsov
S. van Bakel
Luigi Liquori
S. Ronchi Della Rocca
Paweł Urzyczyn
Show All
Source
Cite
Save
Citations (0)
Event structures
1987
G. Winskel
Show All
Source
Cite
Save
Citations (670)
Category theory and models for parallel computation
1986
G. Winskel
Show All
Source
Cite
Save
Citations (0)
1