%0 Journal Article %1 journals/corr/abs-1803-06488 %A Weber, Matthias %D 2018 %J CoRR %K dblp %T An extended type system with lambda-typed lambda-expressions (extended version). %U http://dblp.uni-trier.de/db/journals/corr/corr1803.html#abs-1803-06488 %V abs/1803.06488

@article{journals/corr/abs-1803-06488, added-at = {2020-12-09T00:00:00.000+0100}, author = {Weber, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/25d7700aa907cbcdfbd24e7b1e1490cfb/dblp}, ee = {http://arxiv.org/abs/1803.06488}, interhash = {2317dbacfabc1eac2849dac08d9ae7fa}, intrahash = {5d7700aa907cbcdfbd24e7b1e1490cfb}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:41:15.000+0200}, title = {An extended type system with lambda-typed lambda-expressions (extended version).}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1803.html#abs-1803-06488}, volume = {abs/1803.06488}, year = 2018 }