|
Department of Mathematical Sciences
Events
People
Colloquia and Seminars
Conferences
Centers
Positions
Research Groups
About the Department |
Richard Statman
![]() Professor Office: Wean Hall 7214 ResearchMy principal research interests lie in the theory of computation with special emphasis on symbolic computation. In particular, my current research involves lambda calculus and combinatory algebra. This area underwent extensive development in the first half of this century, and then lay dormant until Dana Scott's fundamental work in the 1970's. Part of what has emerged from Scott's work is that lambda calculus forms the foundation of functional programming at both the semantic and syntactic levels. As a result, the area has been revived by an influx of theoretical problems directly related to design and implementation issues. Selected PublicationsSolution to the range problem for lazy lambda calculus and combinatory logic (with Benedetto Intrigilia), in preparation The omega rule is pi-one-one complete (with Benedetto Intrigilia), TLCA 2007 The complexity of alpha conversion, J.S.L. Vol 72 Issue 4 2007 Two variables are not enough ICTCS 2005 The omega rule is sigma-zero-three hard (with Benedetto Intrigilia), LICS'04 On the lambda Y calculus, LICS '02 Church's lambda delta calculus, LPR '00 The word problem for combinators, RTA '00 Link |
