@conference {376590,
	title = {On building abstract Terms in Typed Systems},
	booktitle = {Logica 2006 Yearbook},
	year = {2007},
	publisher = {Filosofia Publisher},
	organization = {Filosofia Publisher},
	abstract = {<p>This paper offers some historical and conceptual remarks on the philosophical and logical procedures of abstraction, based on an account of the notions of concept and function. In order to provide a complete analyis, one should start by considering Platos theory of Ideas, which provides the first interpretation of abstract terms in the history of philosophy. The nature of the most general Forms, the related problem of the knowledge thereof, their connection to existing (concrete) objects, are the essential features of the Platonic theory of knowledge and of his metaphysics. The Platonic approach is grounded on the principle of conceptual priority of Ideas over their partecipations, the Forms existing separeted from all the particulars: the former are interpreted as standard particulars to which other particulars conform. Nonetheless, my investigation will start rather by Aristotle, who held first the relation of predication to be the basis for defining abstraction: from this I will try to consider some important ideas for the notion of abstraction in Type Systems.</p>},
	author = {Primiero, Giuseppe},
	editor = {Tomala, O and Honzik, R}
}
@conference {376594,
	title = {Belief Revision in Constructive Type Theory},
	booktitle = {Logica 2005 Yearbook},
	year = {2006},
	publisher = {Filosofia Publisher},
	organization = {Filosofia Publisher},
	author = {Primiero, Giuseppe},
	editor = {Bilkova, M and Tomala, O}
}
