• 1 WEST 4.54

Accepting PhD Students

19982019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference contribution
2018

On Compositionality of Dinatural Transformations

McCusker, G. & Santamaria, A., 31 Dec 2018, 27th EACSL Annual Conference on Computer Science Logic (CSL 2018). Ghica, D. & Jung, A. (eds.). Dagstuhl, Germany: Leibniz International Proceedings in Informatics, Vol. 119. p. 33:1-33:22 22 p. 33. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 119).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
2013

Weighted relational models of typed Lambda-Calculi

Laird, J. D., Manzonetto, G., Mccusker, G. & Pagani, M., 1 Jun 2013, 2013 28th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS). Los Alamitos, California: IEEE, p. 301-310 10 p. (Annual IEEE/ACM Symposium on Logic in Computer Science (LICS)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
26 Citations (Scopus)
129 Downloads (Pure)
2011

Imperative programs as proofs via game semantics

Churchill, M., Laird, J. & McCusker, G., 2011, 26th Annual IEEE Symposium on Logic in Computer Science (LICS) 2011. IEEE, p. 65-74 10 p. (Annual Symposium on Logic in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
3 Citations (Scopus)
108 Downloads (Pure)
1998

A fully abstract game semantics for general references

Abramsky, S., Honda, K. & McCusker, G., 1 Jan 1998, Proceedings - 13th Annual IEEE Symposium on Logic in Computer Science, LICS 1998. IEEE, Vol. 1998-June. p. 334-344 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

121 Citations (Scopus)