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
93 2015 Introduction à la logique: théorie de la démonstration: cours et exercices corrigés R David, K Nour, C Raffalli
Dunod, 2001
73 2001 A λ-calculus with explicit weakening and explicit substitution R David, B Guillaume
Mathematical Structures in Computer Science 11 (1), 169-206, 2001
70 2001 λμ-calculus and Böhm's theorem R David, W Py
The Journal of Symbolic Logic 66 (1), 407-413, 2001
66 2001 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
52 2016 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
48 2010 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
40 2009 Geographical ecology of small mammals in continental Chile Chico, South America PL Meserve, DA Kelt, DR Martinez
Journal of Biogeography, 179-187, 1991
40 1991 Normalization without reducibility R David
Annals of pure and applied logic 107 (1-3), 121-130, 2001
37 2001 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
36 2003 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
28 2015 A short proof of the strong normalization of the simply typed R David, K Nour
arXiv preprint arXiv:0905.1557, 2009
27 2009 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
25 2015 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
24 2005 A very absolute Pi-1-2 real singleton R David
24 1982 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
23 1989 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
21 2016 On the asymptotic behaviour of primitive recursive algorithms R David
Theoretical Computer Science 266 (1-2), 159-193, 2001
21 2001 Storage operators and directed lambda-calculus R David, K Nour
The Journal of Symbolic Logic 60 (4), 1054-1086, 1995
20 1995 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
19 2016 
Jean-Pierre FERALDirecteur de Recherche CNRS émérite, Station Marine d'Endoume, MarseilleAdresse e-mail validée de imbe.fr
