2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/51094I extend upon the paper by Batalin and Marnelius, in which they show how to construct and quantize a gauge theory from a Hamiltonian system with second class constraints. Among the avenues explored, their technique is analyzed in relation to other well-known methods of quantization and a bracket is defined, such that the operator formalism can be fully developed. I also extend to systems with mixed class constraints and look at some simple examples.20 pages, no figuresHigh Energy Physics - Theorytext