7 citations · 58 across the 20 of their papers we have counts for
Showing 2011 · cs.LOShow all
3 papers · 2 filters
cs.LO2011★ 5 cited
Kripke Semantics for Martin-Löf's Extensional Type Theory
Steve Awodey, Florian Rabe
It is well-known that simple type theory is complete with respect to non-standard set-valued models. Completeness for standard models only holds with respect to certain extended cl…
cs.LO2011★ 7 cited
A Foundational View on Integration Problems
Florian Rabe, Michael Kohlhase, Claudio Sacerdoti Coen
The integration of reasoning and computation services across system and language boundaries is a challenging problem of computer science. In this paper, we use integration for the…
cs.LO2011★ 5 cited
A Scalable Module System
Florian Rabe, Michael Kohlhase
Symbolic and logic computation systems ranging from computer algebra systems to theorem provers are finding their way into science, technology, mathematics and engineering. But suc…