Semantic Types for Verified Program Behaviour

Project: Research council

Filter
Conference contribution

Search results

  • 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 in Book/Report/Conference proceedingConference contribution

    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 in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    6 Citations (Scopus)
    164 Downloads (Pure)
  • Game semantics for bounded polymorphism

    Laird, J., 22 Mar 2016, Foundations of Software Science and Computation Structures. FOSSACS 2016.: Proceedings of 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2016, Eindhoven, the Netherlands, April 2-8, 2016.. Jacobs, B. & Loding, C. (eds.). The Netherlands: Springer Verlag, p. 55-70 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9634).

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

    Open Access
    File
    119 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 in Book/Report/Conference proceedingConference contribution

    3 Citations (Scopus)
  • 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 in Book/Report/Conference proceedingConference contribution

    Open Access