%0 Journal Article %1 journals/mscs/SeveriV17 %A Severi, Paula %A de Vries, Fer-Jan %D 2017 %J Math. Struct. Comput. Sci. %K dblp %N 5 %P 681-733 %T The infinitary lambda calculus of the infinite eta Böhm trees. %U http://dblp.uni-trier.de/db/journals/mscs/mscs27.html#SeveriV17 %V 27

@article{journals/mscs/SeveriV17, added-at = {2020-04-01T00:00:00.000+0200}, author = {Severi, Paula and de Vries, Fer-Jan}, biburl = {https://www.bibsonomy.org/bibtex/2d61467d3fe170b03379832c9ba802b64/dblp}, ee = {https://doi.org/10.1017/S096012951500033X}, interhash = {8b4b1e59d1c58a55fe1994c0bc41727a}, intrahash = {d61467d3fe170b03379832c9ba802b64}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 5, pages = {681-733}, timestamp = {2020-04-02T11:40:44.000+0200}, title = {The infinitary lambda calculus of the infinite eta Böhm trees.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs27.html#SeveriV17}, volume = 27, year = 2017 }