-
La forme ou l'arithmetique du temps
This book is designed as the experimental support which makes it possible to the reader to constitute his own imaginary representation of the contents of this writing.... -
Ehrenfeucht-Fraïssé goes elementarily automatic for structures of bounded degree
International audience -
Meaning, Metaphysics, and Contradiction
International audience -
Quale barba per il rasoio di Ockham ? Problemi del riduzionismo metafisico
This dataset has no description
-
Characterizing Negation to face Dialetheism
International audience -
Preuves et jeux sémantiques
National audience -
Metaphor and knowledge
. This essay is a reflection on the key issue raised in Lakoff and Johnson's book Metaphors We Live By, i.e. the capacity the metaphor has to produce knowledge. . We... -
A Framework for Defining Logical Frameworks
In this paper, we introduce a General Logical Framework, called GLF, for defining Logical Frameworks, based on dependent types, in the style of the well known... -
Non communiqué
This paper analyzes the internationalization of environmental protection on five major wetlands of Albania. By geography and location of biological corridors, these... -
Proof-search in Type-theoretic Languages: An Introduction
Article dans revue scientifique avec comité de lecture. -
Workshop on Type-theoretic Languages: Proof-search and Semantics
Congrès (éditeur). internationale.
