dblp.uni-trier.dewww.uni-trier.de

Paul Chisholm

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

1Roland Carl Backhouse [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)