R
Richard Statman
Researcher at Rutgers University
Publications - 9
Citations - 412
Richard Statman is an academic researcher from Rutgers University. The author has contributed to research in topics: Lambda calculus & Decidability. The author has an hindex of 7, co-authored 9 publications receiving 406 citations. Previous affiliations of Richard Statman include Carnegie Mellon University.
Papers
More filters
Journal ArticleDOI
On the Structure of Armstrong Relations for Functional Dependencies
TL;DR: It is shown that the time complexity of finding an Armstrong relation, a relation that satisfies each FD implied by the set but no FD that is not implied by it, is precisely exponential in the number of attributes.
Journal ArticleDOI
Completeness, Invariance and $\lambda$-Definability
TL;DR: This note considers several questions which quickly arise from Plotkin's conjecture, which is that a functional is λ -definable ⇔ it is invariant in the sense of Fraenkel and Mostowski and for each consistent set of equations a model satisfying this equality.
Proceedings ArticleDOI
On the unification problem for Cartesian closed categories
TL;DR: An axiomatization of the isomorphisms that hold in all Cartesian closed categories (CCCs), discovered independently, leads to seven equalities and it is shown that the unification problem for this theory is undecidable, thus setting an open question.
Journal ArticleDOI
On the existence of closed terms in the typed λ calculus II: Transformations of unification problems
TL;DR: It is claimed that the set of all decidable unification problems is polynomial time decidablec, and under what conditions one type of unification problem can be eficiently transformed into another (preserving, in a suitable sense, all unifying instances).