%0 Journal Article %1 journals/corr/SchalkS15 %A Schalk, Andrea %A Steele, Hugh P. %D 2015 %J Logical Methods in Computer Science %K dblp %N 3 %T Constructing Fully Complete Models of Multiplicative Linear Logic. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs11.html#SchalkS15 %V 11

@article{journals/corr/SchalkS15, added-at = {2019-05-14T00:00:00.000+0200}, author = {Schalk, Andrea and Steele, Hugh P.}, biburl = {https://www.bibsonomy.org/bibtex/24019d3bd3a0fd777c7a411272ccf22fa/dblp}, ee = {http://arxiv.org/abs/1505.06056}, interhash = {1a86d6d0ac470a038b473f1de57aaf27}, intrahash = {4019d3bd3a0fd777c7a411272ccf22fa}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 3, timestamp = {2019-05-15T11:50:32.000+0200}, title = {Constructing Fully Complete Models of Multiplicative Linear Logic.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs11.html#SchalkS15}, volume = 11, year = 2015 }