Richard Statman
Affiliations: Carnegie Mellon University, Pittsburgh, USA
According to our database^{1},
Richard Statman
authored at least 66 papers
between 1979 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on zbmath.org

on id.loc.gov

on math.cmu.edu

on andrej.com
On csauthors.net:
Bibliography
2022
Finite Generation and Presentation Problems for Lambda Calculus and Combinatory Logic.
Proceedings of the Logical Foundations of Computer Science  International Symposium, 2022
2021
CoRR, 2021
Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021
2020
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020
2019
Fundam. Informaticae, 2019
2018
CoRR, 2018
2017
Math. Struct. Comput. Sci., 2017
Math. Struct. Comput. Sci., 2017
2016
Proceedings of the Thirtysecond Conference on the Mathematical Foundations of Programming Semantics, 2016
Proceedings of the Thirtysecond Conference on the Mathematical Foundations of Programming Semantics, 2016
Proceedings of the 22nd International Conference on Types for Proofs and Programs, 2016
Proceedings of the Logical Foundations of Computer Science  International Symposium, 2016
2014
J. Comput. Syst. Sci., 2014
Proceedings of the Proceedings Seventh Workshop on Intersection Types and Related Systems, 2014
Proceedings of the Rewriting and Typed Lambda Calculi  Joint International Conference, 2014
2013
Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013
Perspectives in logic, Cambridge University Press, ISBN: 9780521766142, 2013
2011
Fundam. Informaticae, 2011
2010
Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010
2009
Log. Methods Comput. Sci., 2009
2007
J. Symb. Log., 2007
The Omega Rule is P<sub>1</sub><sup>1</sup>Complete in the <i>lambdabeta</i> Calculus.
Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007
2006
Log. Methods Comput. Sci., 2006
2005
Ann. Pure Appl. Log., 2005
Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005
Proceedings of the Processes, 2005
2004
Ann. Pure Appl. Log., 2004
Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004
2002
Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002
2001
Fundam. Informaticae, 2001
2000
Proceedings of the Rewriting Techniques and Applications, 11th International Conference, 2000
Proceedings of the Logic for Programming and Automated Reasoning, 2000
1999
Math. Struct. Comput. Sci., 1999
J. Funct. Program., 1999
Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999
1998
Proceedings of the Computer Science Logic, 12th International Workshop, 1998
1997
J. Symb. Log., 1997
Proceedings of the Rewriting Techniques and Applications, 8th International Conference, 1997
1993
Theor. Comput. Sci., 1993
1992
Inf. Process. Lett., 1992
Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992
1991
Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991
1989
Theor. Comput. Sci., 1989
J. Symb. Comput., 1989
J. Comb. Theory, Ser. B, 1989
1988
Discret. Appl. Math., 1988
Proceedings of the First Annual Workshop on Computational Learning Theory, 1988
1987
Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987
1986
Theor. Comput. Sci., 1986
Theor. Comput. Sci., 1986
Notre Dame J. Formal Log., 1986
On Translating Lambda Terms into Combinators; The Basis Problem
Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986
1985
Inf. Control., 1985
1984
J. ACM, 1984
1983
Arch. Math. Log., 1983
1982
J. Symb. Log., 1982
J. Graph Theory, 1982
Inf. Process. Lett., 1982
1981
On the Existence of Closed Terms in the Typed lambda Calculus II: Transformations of Unification Problems.
Theor. Comput. Sci., 1981
Discret. Math., 1981
Proceedings of the 22nd Annual Symposium on Foundations of Computer Science, 1981
1980
SIAM J. Comput., 1980
Notre Dame J. Formal Log., 1980
1979
Theor. Comput. Sci., 1979
Theor. Comput. Sci., 1979
Proceedings of the Semantics of Concurrent Computation, 1979