Formalization of the Undecidability of the Halting Problem for a Functional Language.

Thiago Mendona Ferreira Ramos, Csar A. Muoz, Mauricio Ayala-Rincn, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz

Browse the full WoLLIC paper archive.