Jonathan Ginzburg Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory with Records. 113-130 2005 15 J. Log. Comput. 2 http://dx.doi.org/10.1093/logcom/exi005 db/journals/logcom/logcom15.html#Ginzburg05