Semantic Structures for Higher-Order Information Flow

Project: Research council

Filter
Chapter in a published conference proceeding

Search results

  • 2020

    A Curry-style Semantics of Interaction: From Untyped to Second-Order Lazy λμ-Calculus

    Laird, J., 2020, Foundations of Software Science and Computation Structures- 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Goubault-Larrecq, J. & König, B. (eds.). Cham, Switzerland: Springer, p. 422-441 20 p. (Lecture Notes in Computer Science ; vol. 12077).

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

    Open Access
    File
    90 Downloads (Pure)
  • 2018

    A fully abstract game semantics for countable nondeterminism

    Gowers, W. J. & Laird, J. D., 1 Aug 2018, Computer Science Logic 2018, CSL 2018. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 119. 24

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

    Open Access
    1 Citation (SciVal)

  • Extensional and intensional semantic universes: A denotational model of dependent types

    Blot, V. & Laird, J., 31 Jul 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. IEEE, Vol. Part F138033. p. 95-104 10 p. (Proceedings - Symposium on Logic in Computer Science).

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

    Open Access
    1 Citation (SciVal)
    12 Downloads (Pure)
  • 2016

    Classical extraction in continuation models

    Blot, V., 1 Jun 2016, Leibniz International Proceedings in Informatics, LIPIcs, 2016. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 52. p. 13.1-13.17 17 p. 13

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

    Open Access

  • Fixed points in quantitative semantics

    Laird, J., 5 Jul 2016, LICS '16, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science . Shankar, N. (ed.). New York, U. S. A.: Association for Computing Machinery, p. 347-356 10 p. (Proceedings - Symposium on Logic in Computer Science).

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

    Open Access
    File
    10 Citations (SciVal)
    303 Downloads (Pure)

  • Hybrid realizability for intuitionistic and classical choice

    Blot, V., 5 Jul 2016, LICS '16, Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science. New York, U. S. A.: IEEE, p. 575-584 10 p.

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

    3 Citations (SciVal)

  • Weighted relational models for mobility

    Laird, J., 1 Jun 2016, Leibniz International Proceedings in Informatics, LIPIcs. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 52. p. 1-15 15 p. 24

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

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

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

    File
    4 Citations (SciVal)
    254 Downloads (Pure)
  • 2010

    Game semantics for a polymorphic programming language

    Laird, J., 2010, 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010. IEEE, p. 41-49 9 p. (Proceedings - Symposium on Logic in Computer Science).

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

    7 Citations (SciVal)