Search: Simple Type Theory As Framework For Combining Logics
2010
[1] Simple Type Theory as Framework for Combining Logics (Christoph Benzmüller), In Contest paper at the World Congress and School on Universal Logic III (UNILOG), 2010. (slides) (The conference had no published proceedings; the paper is available as arXiv:1004.5500v1) [bibtex] [pdf]
Powered by bibtexbrowser