Towards a Simply Typed CALculus for Semantic Knowledge Bases.

Michael Mendler, Stephan Scheele

Browse the full LICS paper archive.