« Emergences par les règles sans ‘form du es de vie’ : une relecture de Kripke (1982) pour la simulation informatique vivant », P.-A. Miquel et J. Boniface (dir.), Problèmes logiques et logiques du vivant, n° spécial de Noesis, vol. 13, 2008