Statistics
Publications
2
Citations
125
H-Index
2
Active since
1995
Affiliations
University of Cambridge(Current)
P. N. Benton is an author at University of Cambridge specializing in mathematics, lambda calculus, and computer science.
Publications per year
1995–1998
2
2
Strong normalisation for the linear term calculus
P. N. Benton · Journal of Functional Programming · 1995 · 17 citations · Full text
1–2 of 2