James Laird

Dr

  • 1 WEST 4.64

19972020

Research output per year

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

Research Output

Filter
Chapter
2013

Combining and Relating Control Operators and their Semantics

Laird, J., 2013, Control Operators and their Semantics. Elsevier, Vol. 127. p. 113-129 16 p. 8. (Electronic Proceedings in Theoretical Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

2011

Constructing differential categories and deconstructing categories of games

Laird, J., Manzonetto, G. & McCusker, G., 2011, Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Proceedings. Aceto, L., Henzinger, M. & Sgall, J. (eds.). Heidelberg, Germany: Springer, p. 186-197 12 p. (Lecture Notes in Computer Science; vol. 6756).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
4 Citations (Scopus)
101 Downloads (Pure)
2010

A logic of sequentiality

Churchill, M. & Laird, J., 24 Aug 2010, Computer Science Logic (Lecture Notes in Computer Science). Dawar, A. & Veith, H. (eds.). Springer, Vol. 6247/2. p. 215-229 15 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

File
5 Citations (Scopus)
29 Downloads (Pure)
2007

A fully abstract trace semantics for general references

Laird, J., Jul 2007, Automata, Languages and Programming: Proceedings of 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Arge, L., Cachin, C., Jurdziński, T. & Tarlecki, A. (eds.). Berlin, Germany: Springer Verlag, p. 667-679 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4596 ).

Research output: Chapter in Book/Report/Conference proceedingChapter

24 Citations (Scopus)
2004

A calculus of coroutines

Laird, J., 2004, Automata, Languages and Programming: Proceedings of 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004.. Diaz, J., Karhumaki, J., Lepisto, A. & Sannella, D. (eds.). Berlin, Germany: Springer Verlag, p. 882-893 12 p. (Lecture Notes in Computer Science; vol. 3142).

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)

A game semantics of local names and good variables

Laird, J., 2004, Foundations of Software Science and Computation Structures: Proceedings of 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Walukiewicz, I. (ed.). Berlin, Germany: Springer Verlag, p. 289-303 15 p. (Lecture Notes in Computer Science; vol. 2987).

Research output: Chapter in Book/Report/Conference proceedingChapter

22 Citations (Scopus)
2003

A fully abstract bidomain model of unary FPC

Laird, J., 27 May 2003, Typed Lambda Calculi and Applications: Proceedings of 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 . Hofmann, M. (ed.). Berlin, Germany: Springer Verlag, p. 211-225 15 p. (Lecture Notes in Computer Science; vol. 2701).

Research output: Chapter in Book/Report/Conference proceedingChapter

4 Citations (Scopus)

A game semantics of linearly used continuations

Laird, J., 2003, Foundations of Software Science and Computation Structures: Proceedings of 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 . Gordon, A. D. (ed.). Berlin, Germany: Springer Verlag, p. 313-327 15 p. (Lecture Notes in Computer Science; vol. 2620).

Research output: Chapter in Book/Report/Conference proceedingChapter

6 Citations (Scopus)

Bistability: an extensional characterization of sequentiality

Laird, J., 2003, Computer Science Logic: Proceedings of 17th International Workshop CSL 2003, 12th Annual Conference of the (EACSL), 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Baaz, M. & Makowsky, J. A. (eds.). Berlin, Germany: Springer Verlag, p. 372-383 12 p. (Lecture Notes in Computer Science; vol. 2803).

Research output: Chapter in Book/Report/Conference proceedingChapter

9 Citations (Scopus)