Paul Chisholm

According to our database1, Paul Chisholm authored at least 2 papers between 1987 and 1989.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1989
Do-It-Yourself Type Theory.
Formal Aspects Comput., 1989

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


  Loading...