Myhill jest też współautorem – wraz z Edwardem Moore’em – dowodu twierdzenia Moore’a o ogrodach Edenu, które głosi, że dla danego automatu komórkowego istnieje ogród Edenu (tj. poprawny stan, który nie powstaje z żadnego innego stanu) wtedy i tylko wtedy, gdy istnieją dla niego dwa stany, które można wzajemnie zamieniać ze sobą nie zmieniając ewolucji automatu (takie stany nazywa się bliźniaczymi).
Myhill postawił także problem „firing squad synchronization” konstrukcji automatu komórkowego, który rozpoczynając ewolucję od pojedynczej komórki, dochodzi do stanu, w którym wszystkie komórki są aktywne w jednej chwili. Znanych jest wiele rozwiązań tego problemu. Autorem jednego z nich jest również Myhill.
W konstruktywnej teorii mnogości Myhill zaproponował system aksjomatów bez aksjomatu wyboru i prawa wyłączonego środka. Rozwinął także wersję konstruktywnej teorii mnogości opartej na pojęciach liczby naturalnej, funkcji i zbioru – znacznie częściej teorie mnogości buduje się wyłącznie w oparciu o pojęcie zbioru.