Romain DAVID
Romain DAVID
Ph.D. (Docteur) en écologie côtière et fouille de données, Université d'Aix Marseille
Adresse e-mail validée de univ-amu.fr
TitreCitée parAnnée
Pollen‐based quantitative reconstructions of Holocene regional vegetation cover (plant‐functional types and land‐cover types) in Europe suitable for climate modelling
AK Trondman, MJ Gaillard, F Mazier, S Sugita, R Fyfe, AB Nielsen, ...
Global change biology 21 (2), 676-697, 2015
932015
Introduction à la logique: théorie de la démonstration: cours et exercices corrigés
R David, K Nour, C Raffalli
Dunod, 2001
732001
A λ-calculus with explicit weakening and explicit substitution
R David, B Guillaume
Mathematical Structures in Computer Science 11 (1), 169-206, 2001
702001
λμ-calculus and Böhm's theorem
R David, W Py
The Journal of Symbolic Logic 66 (1), 407-413, 2001
662001
Implementing and innovating marine monitoring approaches for assessing marine environmental status
R Danovaro, L Carugati, M Berzano, AE Cahill, S Carvalho, A Chenuil, ...
Frontiers in Marine Science 3, 213, 2016
522016
Motion from the past. A new method to infer vestibular capacities of extinct species
R David, J Droulez, R Allain, A Berthoz, P Janvier, D Bennequin
Comptes Rendus Palevol 9 (6-7), 397-410, 2010
482010
Asymptotically almost all\lambda-terms are strongly normalizing
R David, K Grygiel, J Kozic, C Raffalli, G Theyssier, M Zaionc
arXiv preprint arXiv:0903.5505, 2009
402009
Geographical ecology of small mammals in continental Chile Chico, South America
PL Meserve, DA Kelt, DR Martinez
Journal of Biogeography, 179-187, 1991
401991
Normalization without reducibility
R David
Annals of pure and applied logic 107 (1-3), 121-130, 2001
372001
A short proof of the strong normalization of classical natural deduction with disjunction
R David, K Nour
The Journal of Symbolic Logic 68 (4), 1277-1288, 2003
362003
Pathophysiological characterisation of back pain generators in failed back surgery syndrome (part B)
P Rigoard, S Blond, R David, P Mertens
Neurochirurgie 61, S35-S44, 2015
282015
A short proof of the strong normalization of the simply typed -calculus
R David, K Nour
arXiv preprint arXiv:0905.1557, 2009
272009
Anatomy, physiology and neurobiology of the nociception: a focus on low back pain (part A)
P Mertens, S Blond, R David, P Rigoard
Neurochirurgie 61, S22-S34, 2015
252015
Arithmetical Proofs of Strong Normalization Results for the Symmetric λμ-Calculus
R David, K Nour
International Conference on Typed Lambda Calculi and Applications, 162-178, 2005
242005
A very absolute Pi-1-2 real singleton
R David
241982
Anatomical study of the sesamoid bones of the first metatarsal.
RD David, JP Delagoutte, MM Renard
Journal of the American Podiatric Medical Association 79 (11), 536-544, 1989
231989
Assessing morphology and function of the semicircular duct system: introducing new in-situ visualization and software toolbox
R David, A Stoessel, A Berthoz, F Spoor, D Bennequin
Scientific reports 6, 32772, 2016
212016
On the asymptotic behaviour of primitive recursive algorithms
R David
Theoretical Computer Science 266 (1-2), 159-193, 2001
212001
Storage operators and directed lambda-calculus
R David, K Nour
The Journal of Symbolic Logic 60 (4), 1054-1086, 1995
201995
Morphology and function of Neandertal and modern human ear ossicles
A Stoessel, R David, P Gunz, T Schmidt, F Spoor, JJ Hublin
Proceedings of the National Academy of Sciences 113 (41), 11489-11494, 2016
192016
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20