If you made any changes in Pure these will be visible here soon.
Fingerprint
Dive into the research topics where Glynn Winskel is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
Alcolei, A., Clairambault, P., Hyland, M. & Winskel, G., 29 Aug 2018, 27th EACSL Annual Conference on Computer Science Logic (CSL 2018). Ghica, D. R. & Jung, A. (eds.). Dagstuhl, Germany, p. 5:1-5:2222 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 119).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book