Partial recursive functions in Martin-Löf Type Theory (0)

by Anton Setzer
Venue:Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006