par Marchal, Bruno
Référence Physics of life reviews, 2, 4, page (251-289)
Publication Publié, 2005-12
Article révisé par les pairs
Titre:
  • Theoretical computer science and the natural sciences
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