On sets of terms having a given intersection type von Polonsky, Andrew, Statman, Richard

Volltext

Products in a Category with Only One Object von Statman, Richard

Volltext

Fixed points in lambda calculus. An eccentric survey of problems and solutions von Intrigila, Benedetto, Statman, Richard

Volltext

Lambda theories allowing terms with a finite number of fixed points von INTRIGILA, BENEDETTO, STATMAN, RICHARD

Volltext

The Omega Rule is $\mathbf{\Pi_{1}^{1}}$-Complete in the $\lambda\beta$-Calculus von Intrigila, Benedetto, Statman, Richard

Volltext

Solution of a Problem of Barendregt on Sensible lambda-Theories von Intrigila, Benedetto, Statman, Richard

Volltext

Sentinel lymphadenectomy in breast cancer von GIULIANO, A. E, JONES, R. C, BRENNAN, M, STATMAN, R

Volltext

Products in a Category with Only One Object von Statman, Richard

Volltext

On Statman's Finite Completeness Theorem von Statman, Richard, Dowek, Gilles

Volltext bestellen

On sets of terms having a given intersection type von Polonsky, Andrew, Statman, Richard

Volltext

Intuitionistic propositional logic is polynomial-space complete von Statman, Richard

Volltext

Böhm's theorem, church's delta, numeral systems, and ershov morphisms von STATMAN, Richard, BARENDREGT, Henk

Volltext

Uniqueness typing for intersection types von Statman, Richard, Polonsky, Andrew

Volltext bestellen

On Statman's Finite Completeness Theorem von Statman, Richard, Dowek, Gilles

Volltext

Uniqueness typing for intersection types von Statman, Richard, Polonsky, Andrew

Volltext

Some results on extensionality in lambda calculus von Intrigila, Benedetto, Statman, Richard

Volltext

Bounds for proof-search and speed-up in the predicate calculus von Statman, Richard

Volltext

Applications of Plotkin-terms: partitions and morphisms for closed terms von STATMAN, RICHARD, BARENDREGT, HENK

Volltext

Böhm’s Theorem, Church’s Delta, Numeral Systems, and Ershov Morphisms von Statman, Richard, Barendregt, Henk

Volltext

The typed λ-calculus is not elementary recursive von Statman, Richard

Volltext