1. Meinong's Theory of Objects - HIST-Analytic
clude that the theory of Objects falls most naturally within the scien- .... theory of Objects, is presented to us as an integral part of the theory ...
Meinongobjects |
www.hist-analytic.org
2. A Theory of Objects Object-Oriented Features
A Theory of Objects. Martيn Abadi & Luca Cardelli. Digital Equipment Corporation . Systems Research Center. OOPSLA'96 Tutorial. OOPSLA'96 Tutorial ...
1996-10%20A%20Theory%20of%20Objects%20(OOPSLA%20Tutorial) |
lucacardelli.name
3. A Nominal Theory of Objects with Dependent Types
We now present a core language for objects and classes. Compared to the stan- dard theory of objects [1], there are three major differences. ...
ecoop03 |
lamp.epfl.ch
4. On the theory of classes based on the theory of objects
tion, the calculus of quantifiers and the theory of objects. The theory consists of ... applied part is the theory of objects applied to classes. ...
7X283750372W426J |
www.springerlink.com
5. Baby Modula-3 and a theory of objects
Baby Modula-3 and a theory of objects. Mart n Abadi. Abstract. Baby Modula-3 is a small, functional, object-oriented programming language. It is in- ...
SRC-RR-95 |
www.hpl.hp.com
6. A Formalization of the Theory of Objects in Isabelle/HOL
relation for objects (c) the proof of confluence for the theory of objects ... The Theory of Objects [1] defines the ς-calculus for the abstract and precise ...
RR-Sigma |
hal.archives-ouvertes.fr
7. Alexius Meinong's Theory of Objects
Aug 22, 2010 ... From: John N. Findlay - Meinong's theory of objects and values .... the real, whereas the theory of objects has no such limitations. ...
meinonga |
www.formalontology.com
8. 18 General theses of the theory of objects
theory of objects without excessive difficulty. The other articles in this ... theory of objects is not the result of abstract postulations. ...
Poli%202001%20General%20Theses |
robertopoli.co.cc
