@article(ArrighiGANDY, author = {P. Arrighi and G. Dowek}, year = {2012}, title = {{The physical Church-Turing thesis and the principles of quantum theory}}, journal = {Int. J. Found. of Computer Science}, volume = {23}, doi = {10.1142/S0129054112500153}, ) @inproceedings(ArrighiGeodesics, author = {P. Arrighi and G. Dowek}, year = {2015}, title = {{Discrete geodesics}}, booktitle = {Theory and Practice of Natural Computing}, series = {Lecture Notes in Computer Science}, volume = {9477}, publisher = {Springer-Verlag}, pages = {137--149}, doi = {10.1007/978-3-319-26841-5\_11}, ) @article(ArrighiGRDirac, author = {P. Arrighi and S. Facchini and M. Forets}, year = {2015}, title = {{Quantum walks in curved spacetime}}, journal = {Pre-print arXiv:1505.07023}, ) @article(di2013quantum, author = {Di Molfetta, G. and M. Brachet and F. Debbasch}, year = {2013}, title = {Quantum walks as massless Dirac fermions in curved space-time}, journal = {Physical Review A}, volume = {88}, number = {4}, pages = {042301}, doi = {10.1103/PhysRevA.88.042301}, ) @book(d1899introducing, author = {R. d'Inverno}, year = {1899}, title = {Introducing Einstein's Relatvity}, publisher = {Oxford University Press, USA}, ) @inproceedings(Gandy, author = {R. Gandy}, year = {1980}, title = {{Church's thesis and principles for mechanisms}}, booktitle = {The Kleene Symposium}, publisher = {North-Holland Publishing Company}, address = {Amsterdam}, pages = {123--148}, doi = {10.1016/S0049-237X(08)71257-6}, ) @article(Mazoyer199953, author = {J. Mazoyer and V. Terrier}, year = {1999}, title = {Signals in one-dimensional cellular automata}, journal = {Theoretical Computer Science}, volume = {217}, number = {1}, pages = {53 -- 80}, doi = {10.1016/S0304-3975(98)00150-9}, url = {http://www.sciencedirect.com/science/article/pii/S0304397598001509}, ) @book(WheelerSpacetime, author = {E.F. Taylor and J.A. Wheeler}, year = {1992}, title = {Spacetime physics}, publisher = {Macmillan}, )