Richard Statman
Affiliations:- Carnegie Mellon University, Pittsburgh, USA
According to our database1,
Richard Statman
authored at least 67 papers
between 1979 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on id.loc.gov
-
on math.cmu.edu
-
on andrej.com
On csauthors.net:
Bibliography
2023
2022
Finite Generation and Presentation Problems for Lambda Calculus and Combinatory Logic.
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022
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
2018
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018
2017
Math. Struct. Comput. Sci., 2017
Math. Struct. Comput. Sci., 2017
2016
Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016
Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2016
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: 978-0-521-76614-2, 2013
2011
2010
Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010
2009
Log. Methods Comput. Sci., 2009
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
Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005
Proceedings of the Processes, 2005
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
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
Proceedings of the Rewriting Techniques and Applications, 8th International Conference, 1997
1993
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
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
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
1984
1983
1982
1981
On the Existence of Closed Terms in the Typed lambda Calculus II: Transformations of Unification Problems.
Theor. Comput. Sci., 1981
Proceedings of the 22nd Annual Symposium on Foundations of Computer Science, 1981
1980
SIAM J. Comput., 1980
1979
Theor. Comput. Sci., 1979
Proceedings of the Semantics of Concurrent Computation, 1979