%0 Journal Article %1 journals/jsyml/BenzmullerBK04 %A Benzmüller, Christoph %A Brown, Chad E. %A Kohlhase, Michael %D 2004 %J J. Symb. Log. %K %N 4 %P 1027-1088 %T Higher-order semantics and extensionality. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml69.html#BenzmullerBK04 %V 69

@article{journals/jsyml/BenzmullerBK04, added-at = {2023-12-13T06:54:33.000+0100}, author = {Benzmüller, Christoph and Brown, Chad E. and Kohlhase, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2244af3b77672da8379bb82b54f5aff28/admin}, ee = {https://www.wikidata.org/entity/Q57389428}, interhash = {b31dc63af36e2055034ac2194fdce9fe}, intrahash = {244af3b77672da8379bb82b54f5aff28}, journal = {J. Symb. Log.}, keywords = {}, number = 4, pages = {1027-1088}, timestamp = {2023-12-13T06:54:33.000+0100}, title = {Higher-order semantics and extensionality.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml69.html#BenzmullerBK04}, volume = 69, year = 2004 }