Rick Statman

Publication Activity (10 Years)

Years Active: 1988-2022
Publications (10 Years): 8

Top Topics

Lambda Calculus

Operational Semantics

Program Understanding

Top Venues

Fundam. Informaticae

J. Comput. Syst. Sci.

Publications

Rick Statman
Finite Generation and Presentation Problems for Lambda Calculus and Combinatory Logic. LFCS (2022)
Rick Statman
Church's Semigroup Is Sq-Universal. FSCD (2021)
Rick Statman
Simple SubTypes of Intersection Types. Fundam. Informaticae 170 (1-3) (2019)
Rick Statman
The Completeness of BCD for an Operational Semantics. LFCS (2018)
Rick Statman
Taming the wild ant-lion; a counterexample to a conjecture of Böhm. Math. Struct. Comput. Sci. 27 (5) (2017)
Rick Statman
Levy Labels and Recursive Types. LFCS (2016)
Rick Statman
On the Representation of Semigroups and Other Congruences in the Lambda Calculus. MFPS (2016)
Rick Statman
How to Think of Intersection Types as Cartesian Products. MFPS (2016)
Rick Statman
On polymorphic types of untyped terms. J. Comput. Syst. Sci. 80 (6) (2014)
Rick Statman
Near Semi-rings and Lambda Calculus. RTA-TLCA (2014)
Rick Statman
A Finite Model Property for Intersection Types. ITRS (2014)
Rick Statman
A New Type Assignment for Strongly Normalizable Terms. CSL (2013)
Rick Statman
On Polymorphic Types of Untyped Terms. WoLLIC (2011)
Rick Statman
Cartesian Monoids. MFPS (2010)
Rick Statman
On the complexity of alpha conversion. J. Symb. Log. 72 (4) (2007)
Michael E. Saks, Rick Statman
An intersection problem for finite automata. Discret. Appl. Math. 21 (3) (1988)