Constructing Fully Complete Models of Multiplicative Linear Logic. - Andrea Schalk; Hugh P. Steele (Log. Methods Comput. Sci., 2015)