Anna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hofmann. Consistency of the theory of contexts. Journal of Functional Programming, 16(3):327-372, 2006. [doi]
@article{BucaloHMSH06, title = {Consistency of the theory of contexts}, author = {Anna Bucalo and Furio Honsell and Marino Miculan and Ivan Scagnetto and Martin Hofmann}, year = {2006}, doi = {10.1017/S0956796806005892}, url = {http://dx.doi.org/10.1017/S0956796806005892}, tags = {consistency, context-aware}, researchr = {https://researchr.org/publication/BucaloHMSH06}, cites = {0}, citedby = {0}, journal = {Journal of Functional Programming}, volume = {16}, number = {3}, pages = {327-372}, }