102
Voted
TYPES
2000
Springer
15 years 6 months ago
2000
Springer
We present a formalization of the halting problem in Agda, a language based on Martin-L