@inproceedings{setzer:partialRecursiveFunctionsMLTT:2006,
author = {Setzer, Anton},
title = {Partial Recursive Functions in {M}artin-{L}{\"o}f {T}ype {T}heory},
editor = {Arnold Beckmann and Ulrich Berger and Benedikt L{\"o}we and John V. Tucker},
booktitle = {Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings.},
publisher = {Springer Lecture Notes in Computer Science 3988},
year = {2006},
pages = {505 -- 515},
abstract = { },
available = { }
}