Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory with Records (2005)

Cached

Download Links

by Jonathan Ginzburg
Venue:
Citations:1 - 0 self