-
Approche intrinsèque des fluctuations browniennes en mécanique stochastique
This Note is answering an old questioning about the Fényes-Nelson stochastic mechanics. Feynman's interpretation of the Heisenberg uncertainty principle allows to... -
Weakening the Born Rule - Towards a Stateless Formulation of Quantum Mechanics
The notion of state vector is, in quantum mechanics, as central as it is problematic, as illustrates the wealth of publications about the sub- jects, including in... -
Model theoretic properties of metric valued fields
We study model theoretic properties of valued fields (equipped with a real-valued multiplicative valuation), viewed as metric structures in continuous first order... -
Cosheaves and connectedness in formal topology
International audience -
Resource control and strong normalisation
We introduce the \emph{resource control cube}, a system consisting of eight intuitionistic lambda calculi with either implicit or explicit control of resources and... -
Relative geometries
International audience -
The irrelevance of Bell inequalities in Physics : Comments on the DRHM paper
It was shown in [1], cited in the sequel as DRHM, that upon a correct use of the respective statistical data, the celebrated Bell inequalities cannot be violated by... -
Monitoring trabecular bone microdamage using a dynamic acousto-elastic testin...
International audience -
A journey through resource control lambda calculi and explicit substitution u...
In this paper we invite the reader to a journey through three lambda calculi with resource control: the lambda calculus, the sequent lambda calculus, and the lambda... -
Model-completion of scaled lattices
27 pages -
Leibniz's Notion of Conditional Right and the Dynamics of Public Announcement
The main aim of our paper is to implement Leibniz's analysis of the conditional right in the framework of a dialogical approach to Public Announcement Logic. According... -
Approche dialogique de la dynamique épistémique et de la condition juridique
This dataset has no description
-
Rewritings in Polarized (Partial) Proof Structures
This paper is a first step towards a study for a concurrent construction of proof-nets in the framework of linear logic after Andreoli's works, by taking care of the... -
Domain closure conditions and definability preservation
We examine problems due to lack of domain closure and definability preservation -
Game arguments in computability theory and algorithmic information theory
Extended version of a talk given at CiE2012 (Turing centennial) conference [see previous version for conference text] -
Random Semicomputable Reals Revisited
International audience -
Not Every Domain of a Plain Decompressor Contains the Domain of a Prefix-Free...
International audience -
Forcing MSO on Infinite Words in Weak MSO
International audience -
Multiplicative exponential proof structures and logic programming
submitted (March 2006)
