TY  - RPRT
TI  - Solution of a Problem of Barendregt on Sensible lambda-Theories
AU  - Benedetto Intrigila
AU  - Richard Statman
PY  - 2006
DO  - 10.2168/lmcs-2(4:5)2006
UR  - https://arxiv.org/abs/cs/0609080
ID  - cs/0609080
ER  -