Rick Statman

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