%0 Journal Article %1 journals/iandc/Dekkers88 %A Dekkers, Wil %D 1988 %J Inf. Comput. %K dblp %N 2 %P 131-137 %T Reducibility of Types in Typed Lambda Calculus: Comment on a Paper by Richard Statman %U http://dblp.uni-trier.de/db/journals/iandc/iandc77.html#Dekkers88 %V 77

@article{journals/iandc/Dekkers88, added-at = {2021-02-12T00:00:00.000+0100}, author = {Dekkers, Wil}, biburl = {https://www.bibsonomy.org/bibtex/2e62ad8c455d7c711eaad4fbc604f6f7c/dblp}, ee = {https://doi.org/10.1016/0890-5401(88)90054-5}, interhash = {5ac1a6826f1f498b73784e7a811c64c5}, intrahash = {e62ad8c455d7c711eaad4fbc604f6f7c}, journal = {Inf. Comput.}, keywords = {dblp}, month = May, number = 2, pages = {131-137}, timestamp = {2024-04-09T06:11:52.000+0200}, title = {Reducibility of Types in Typed Lambda Calculus: Comment on a Paper by Richard Statman}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc77.html#Dekkers88}, volume = 77, year = 1988 }