-
Compter et conter. Ou comment les mathématiques, les histoires et les mesures...
Préface d'un ouvrage sur les contes, le comptage, la mesure, la littérature et les mathématiques. Approche anthropologique du sujet. -
Non communiqué
This paper analyzes the internationalization of environmental protection on five major wetlands of Albania. By geography and location of biological corridors, these... -
Effacement du temps par les anneaux commutatifs
Il est bien connu que la non commutativité impose aux logiques qui essaient de s'appuyer sur les idéaux des anneaux comme sur des valeurs de vérité doivent... -
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.
