Search: Simple Type Theory As Framework For Combining Logics
[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 for the contest papers; the paper is available as arXiv:1004.5500v1) [bibtex] [pdf]
Powered by bibtexbrowser