Simple Type Theory as Framework for Combining Logics

Add code
Apr 30, 2010
Figure 1 for Simple Type Theory as Framework for Combining Logics

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: