James Laird

View Scopus Profile

James Laird

Dr

 https://orcid.org/0000-0002-3636-8937

  • 1 WEST 4.64

Filter
Chapter or section

Search results

  • 2023

    An Axiomatic Account of a Fully Abstract Game Semantics for General References

    Laird, J. & McCusker, G., 2 Aug 2023, Samson Abramsky on Logic and Structure in Computer Science and Beyond. Palmigiano, A. & Sadrzadeh, M. (eds.). Cham, Switzerland: Springer, Cham, p. 251-292 42 p. (Outstanding Contributions to Logic; vol. 25).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

  • 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 or section in a book/report/conference proceeding › Chapter or section

  • 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 or section in a book/report/conference proceeding › Chapter or section

    Open Access
    File
    5 Citations (SciVal)
    156 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 or section in a book/report/conference proceeding › Chapter or section

    File
    6 Citations (SciVal)
    123 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 or section in a book/report/conference proceeding › Chapter or section

    42 Citations (SciVal)
  • 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 or section in a book/report/conference proceeding › Chapter or section

    3 Citations (SciVal)

  • 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 or section in a book/report/conference proceeding › Chapter or section

    24 Citations (SciVal)
  • 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 or section in a book/report/conference proceeding › Chapter or section

    4 Citations (SciVal)

  • 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 or section in a book/report/conference proceeding › Chapter or section

    7 Citations (SciVal)

  • 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 or section in a book/report/conference proceeding › Chapter or section

    9 Citations (SciVal)