Sciweavers

TYPES
2000
Springer
14 years 4 months ago
Formalizing the Halting Problem in a Constructive Type Theory
We present a formalization of the halting problem in Agda, a language based on Martin-L
Kristofer Johannisson