Publications

2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | Complete list


2012

  1. Schalk, A., & Steele, H. (2012). Constructing fully complete models for multiplicative linear logic. In 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. (pp. 571-580). http://www.computer.org/portal/site/store/index.jsp: IEEE. DOI: 10.1109/LICS.2012.67. Publication link: 192459bc-9e88-47fb-920b-d9d1713fcfdb
  2. Schalk, A. (2012). Introduction to Game Semantics. Twenty-eighth Conference on the Mathematical Foundations of Programming Semantics, University of Bath, .. Publication link: 7dcb49fe-39de-46d2-bf5f-53db4a1ed047
▲ Up to the top