Paul Chisholm

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1989

2 Roland Carl Backhouse, Paul Chisholm: Do-It-Yourself Type Theory. Formal Asp. Comput. 1(1): 19-84 (1989)

1987

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

	1989
2		Roland Carl Backhouse, Paul Chisholm: Do-It-Yourself Type Theory. Formal Asp. Comput. 1(1): 19-84 (1989)
	1987
1		Paul Chisholm: Derivation of a Parsing Algorithm in Martin-Löf's Theory of Types. Sci. Comput. Program. 8(1): 1-42 (1987)

Coauthor Index