Statman, R.. "...-definable functionals and ... Conversion.." Archiv für mathematische Logik und Grundlagenforschung 23 (1983): 21-26. <http://eudml.org/doc/138003>.
@article{Statman1983, author = {Statman, R.}, journal = {Archiv für mathematische Logik und Grundlagenforschung}, keywords = {typed lambda calculus; lambda definable functionals; lambda-free functional equations; beta-eta-conversion; semantics; type structures; congruence relation}, pages = {21-26}, title = {...-definable functionals and ... Conversion.}, url = {http://eudml.org/doc/138003}, volume = {23}, year = {1983}, }
TY - JOUR AU - Statman, R. TI - ...-definable functionals and ... Conversion. JO - Archiv für mathematische Logik und Grundlagenforschung PY - 1983 VL - 23 SP - 21 EP - 26 KW - typed lambda calculus; lambda definable functionals; lambda-free functional equations; beta-eta-conversion; semantics; type structures; congruence relation UR - http://eudml.org/doc/138003 ER -