par Marchal, Bruno 
Référence Physics of life reviews, 2, 4, page (251-289)
Publication Publié, 2005-12

Référence Physics of life reviews, 2, 4, page (251-289)
Publication Publié, 2005-12
Article révisé par les pairs
Titre: |
|
Auteur: | Marchal, Bruno |
Informations sur la publication: | Physics of life reviews, 2, 4, page (251-289) |
Statut de publication: | Publié, 2005-12 |
Sujet CREF: | Informatique mathématique |
Mots-clés: | Church |
Classical and quantum mechanics | |
Combinators | |
Combinatory and modal logic | |
Curry | |
Diagonalization | |
Duplication | |
Löb | |
Recursion | |
Self-reference | |
Solovay | |
Universal machine | |
Note générale: | SCOPUS: re.j |
Langue: | Anglais |
Identificateurs: | urn:issn:1571-0645 |
info:doi/10.1016/j.plrev.2005.07.001 | |
info:scp/28844451865 |