%0 Journal Article %1 journals/iandc/Dekkers95 %A Dekkers, Wil %D 1995 %J Inf. Comput. %K dblp %N 1 %P 14-17 %T Inhabitation of Types in the Simply Typed Lambda Calculus %U http://dblp.uni-trier.de/db/journals/iandc/iandc119.html#Dekkers95 %V 119

@article{journals/iandc/Dekkers95, added-at = {2021-02-12T00:00:00.000+0100}, author = {Dekkers, Wil}, biburl = {https://www.bibsonomy.org/bibtex/25fdaff1beabfa7e4c676799e5ad106ff/dblp}, ee = {https://doi.org/10.1006/inco.1995.1074}, interhash = {bf93a6726f7799419af427621f66659b}, intrahash = {5fdaff1beabfa7e4c676799e5ad106ff}, journal = {Inf. Comput.}, keywords = {dblp}, month = May, number = 1, pages = {14-17}, timestamp = {2024-04-09T06:11:59.000+0200}, title = {Inhabitation of Types in the Simply Typed Lambda Calculus}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc119.html#Dekkers95}, volume = 119, year = 1995 }