%0 Journal Article %1 journals/corr/EadesSM16 %A III, Harley Eades %A Stump, Aaron %A McCleeary, Ryan %D 2016 %J Log. Methods Comput. Sci. %K dblp %N 3 %T Dualized Simple Type Theory. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs12.html#EadesSM16 %V 12

@article{journals/corr/EadesSM16, added-at = {2021-11-25T00:00:00.000+0100}, author = {III, Harley Eades and Stump, Aaron and McCleeary, Ryan}, biburl = {https://www.bibsonomy.org/bibtex/298a41657e3345e69b0f63f2a33300cd4/dblp}, ee = {http://arxiv.org/abs/1605.01083}, interhash = {5489bc3be73ce453247963124911a5d2}, intrahash = {98a41657e3345e69b0f63f2a33300cd4}, journal = {Log. Methods Comput. Sci.}, keywords = {dblp}, number = 3, timestamp = {2024-04-08T23:39:40.000+0200}, title = {Dualized Simple Type Theory.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs12.html#EadesSM16}, volume = 12, year = 2016 }