Derivation of a Parsing Algorithm in Martin-Löf's Theory of Types. - Paul Chisholm (Sci. Comput. Program., 1987)

Do-It-Yourself Type Theory. - Roland Carl Backhouse; Paul Chisholm (Formal Aspects Comput., 1989)