Abstraction and Ontology: questions as propositional abstracts in constructive type theory
| Data(s) |
2005
|
|---|---|
| Formato |
application/pdf |
| Identificador |
http://calcium.dcs.kcl.ac.uk/962/1/jolc.pdf Ginzburg, Jonathan (2005) Abstraction and Ontology: questions as propositional abstracts in constructive type theory. Journal of Logic and Computation . pp. 113-130. |
| Relação |
http://calcium.dcs.kcl.ac.uk/962/ |
| Tipo |
Article PeerReviewed |
