Skip to content
cs-conference-ranking.org

Richard Statman

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

13

Venues

6

Active years

1977–2004

Best venue rank

A*

Where they publish

Papers

13 indexed papers, newest first.

YearVenueTitleAuthors
2004LICSThe Omega Rule is II_2^0-Hard in the lambda beta -Calculus.Benedetto Intrigila, Richard Statman
2002LICSOn The Lambda Y Calculus.Richard Statman
2000LPARChurch's Lambda Delta Calculus.Richard Statman
1998CSLMorphisms and Partitions of V-sets.Richard Statman
1996CSLOn Cartesian Monoids.Richard Statman
1993LICSOn the Unification Problem for Cartesian Closed CategoriesPaliath Narendran, Frank Pfenning, Richard Statman
1992LICSRetracts in simply typed lambda-beta-eta-calculusUgo de'Liguoro, Adolfo Piperno, Richard Statman
1991LICSFreyd's Hierarchy of Combinator MonoidsRichard Statman
1988COLTInductive Inference: An Abstract Approach.John C. Cherniavsky, Mahendran Velauthapillai, Richard Statman
1987POPLEmpty Types in Polymorphic Lambda Calculus.Albert R. Meyer, John C. Mitchell, Eugenio Moggi, Richard Statman
1986LICSOn Translating Lambda Terms into Combinators; The Basis ProblemRichard Statman
1981FOCSNumber Theoretic Functions Computable by Polymorphic Programs (Extended Abstract)Richard Statman
1977FOCSThe Typed lambda-Calculus Is not Elementary RecursiveRichard Statman