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

@article{journals/corr/abs-1803-10143, added-at = {2020-12-09T00:00:00.000+0100}, author = {Weber, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/25bf364ccd28da820bcf66e8931cca1b2/dblp}, ee = {http://arxiv.org/abs/1803.10143}, interhash = {b8ce96b66802622b655a41b0c85b1d94}, intrahash = {5bf364ccd28da820bcf66e8931cca1b2}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:48:44.000+0200}, title = {An extended type system with lambda-typed lambda-expressions.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1803.html#abs-1803-10143}, volume = {abs/1803.10143}, year = 2018 }