Concepedia

Paul Chisholm

PC

2

Publications

65

Citations

2

H-Index

1987

Active since

Affiliations

University of Groningen(Current)

Paul Chisholm is an author at University of Groningen specializing in linguistics, automated reasoning, and language studies.

Top concepts

Publications per year

1987–1989

2

Publications

2

Do-it-yourself type theory

Roland Backhouse, Paul Chisholm, Grant Malcolm et al. · Formal Aspects of Computing · 1989 · 53 citations

Derivation of a parsing algorithm in martin-löf's theory of types

Paul Chisholm · Science of Computer Programming · 1987 · 12 citations

, , +7

Rows per page

1–2 of 2