Publications

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


2015

  1. Schalk, A., & Steele, H. P. (2015). Constructing Fully Complete Models of Multiplicative Linear Logic. Logical Methods in Computer Science, 11(3), 1-72. DOI: 10.2168/LMCS-11(3:6)2015. Publication link: 32ae3695-fc68-4107-8b1a-1e1d8e71df39
▲ Up to the top