Michael Mendler, Stephan Scheele. Towards a Simply Typed CALculus for Semantic Knowledge Bases. In Berndt Müller, editor, 3rd International Workshop on Logics, Agents, and Mobility, LAM'10, Edinburgh, UK, July 14, 2010. Volume 7 of EPiC Series, pages 52-67, EasyChair, 2010. [doi]
@inproceedings{MendlerS10-0,
title = {Towards a Simply Typed CALculus for Semantic Knowledge Bases},
author = {Michael Mendler and Stephan Scheele},
year = {2010},
url = {http://www.easychair.org/publications/?page=1978414284},
researchr = {https://researchr.org/publication/MendlerS10-0},
cites = {0},
citedby = {0},
pages = {52-67},
booktitle = {3rd International Workshop on Logics, Agents, and Mobility, LAM'10, Edinburgh, UK, July 14, 2010},
editor = {Berndt Müller},
volume = {7},
series = {EPiC Series},
publisher = {EasyChair},
}