7 citations · 8 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2021
Uniqueness typing for intersection types
Richard Statman, Andrew Polonsky
Working in a variant of the intersection type assignment system of Coppo, Dezani-Ciancaglini and Veneri [1981], we prove several facts about sets of terms having a given intersecti…
cs.LO2021★ 1 cited
Products in a Category with Only One Object
Richard Statman
We consider certain decision problems for the free model of the theory of Cartesian monoids. We introduce a model of computation based on the notion of a single stack one-way PDA d…