No photo of Andrea Schalk

Andrea Schalk

Dr

 https://orcid.org/0000-0003-2300-0962
  • 6 Article
  • 5 Conference contribution
  • 1 Other
Filter
Conference contribution

Search results

  • 2019

    A Category Theoretic Interpretation of Gandy’s Principles for Mechanisms

    Razavi, J. & Schalk, A., 1 Feb 2019, (Accepted/In press) Electronic Proceedings in Theoretical Computer Science.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • 2012

    Constructing fully complete models for multiplicative linear logic

    Schalk, A. & Steele, H., 2012, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012|Proc. Annu. ACM/IEEE Symp. Logic Comput. Sci., LICS. http://www.computer.org/portal/site/store/index.jsp: IEEE, p. 571-580 9 p.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    File
    365 Downloads (Pure)
  • 2005

    Concrete data structures as games

    Schalk, A. & Palacios-Perez, J. J., 7 Mar 2005, Electronic Notes in Theoretical Computer Science|Electron. Notes Theor. Comput. Sci.. Birkedal, L. (ed.). Vol. 122. p. 193-210 17 p.

    Research output: Chapter in Book/Conference proceeding › Conference contribution

  • 2002

    Games on graphs and sequentially realizable functionals extended abstract

    Hyland, M. & Schalk, A., 2002, Proceedings - Symposium on Logic in Computer Science|Proc Symp Logic Comput Sci. p. 257-264 7 p.

    Research output: Chapter in Book/Conference proceeding › Conference contribution

  • 1998

    Building Models of Linear Logic

    Paiva, V. D., Schalk, A. & Haeberer, A. M. (Editor), 1998, AMAST. Haeberer, A. M. (ed.). Springer Nature, Vol. 1548. p. 164-177 14 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Conference proceeding › Conference contribution