Login / Signup
Paul Chisholm
Publication Activity (10 Years)
Years Active: 1987-1989
Publications (10 Years): 0
</>
Publications
</>
Roland Carl Backhouse
,
Paul Chisholm
Do-It-Yourself Type Theory.
Formal Aspects Comput.
1 (1) (1989)
Paul Chisholm
Derivation of a Parsing Algorithm in Martin-Löf's Theory of Types.
Sci. Comput. Program.
8 (1) (1987)