Dr Andrea Schalk

Lecturer

View graph of relations

Publications

  1. 2019
  2. Accepted/In press

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

  3. 2015
  4. Published

    Constructing Fully Complete Models of Multiplicative Linear Logic

    Schalk, A. & Steele, H. P., 2015, In : Logical Methods in Computer Science. 11, 3, p. 1-72 71 p.

    Research output: Contribution to journalArticle

  5. 2012
  6. Published

    Introduction to Game Semantics

    Schalk, A., Jun 2012.

    Research output: Contribution to conferenceOther

  7. Published

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

  8. 2005
  9. Published

    Concrete data structures as games

    Schalk, A. & Palacios-Perez, J. J., 7 Mar 2005, In : Electronic Notes in Theoretical Computer Science. 122, p. 193-210 17 p.

    Research output: Contribution to journalArticle

  10. Published

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

  11. 2004
  12. Published

    Poset-valued sets or how to build models for linear logics

    Schalk, A. & De Paiva, V., 5 May 2004, In : Theoretical Computer Science. 315, 1, p. 83-107 24 p.

    Research output: Contribution to journalArticle

  13. 2003
  14. Published

    Glueing and orthogonality for models of linear logic

    Hyland, M. & Schalk, A., 15 Feb 2003, In : Theoretical Computer Science. 294, 1-2, p. 183-231 48 p.

    Research output: Contribution to journalArticle

  15. 2002
  16. Published

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

  17. 2001
  18. Published

    A fully abstract denotational model for observational precongruence

    Ingólfsdóttir, A. & Schalk, A., 2001, In : Theoretical Computer Science. 254, 1-2, p. 35-61 26 p.

    Research output: Contribution to journalArticle

Previous 1 2 Next

Research Explorer downloads

106

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

35

Research output: Contribution to journalArticle