This dissertation gives a survey of formal issues of Hamiltonian lattice gauge theories in the context of simulation by quantum computers. The basic properties of gauge field theories and their lattice regularizations are first reviewed, especially as they pertain to the local constraint that arises in canonical quantization: ...