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 |
