Rick Statman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2011–2022
Best venue rank
National
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | LFCS | Finite Generation and Presentation Problems for Lambda Calculus and Combinatory Logic. | Rick Statman |
| 2021 | FSCD | Church's Semigroup Is Sq-Universal. | Rick Statman |
| 2018 | LFCS | The Completeness of BCD for an Operational Semantics. | Rick Statman |
| 2016 | LFCS | Levy Labels and Recursive Types. | Rick Statman |
| 2013 | CSL | A New Type Assignment for Strongly Normalizable Terms. | Rick Statman |
| 2011 | WoLLIC | On Polymorphic Types of Untyped Terms. | Rick Statman |