%0 Journal Article %1 journals/japll/KamareddineSW16 %A Kamareddine, Fairouz %A Seldin, Jonathan P. %A Wells, J. B. %D 2016 %J J. Appl. Log. %K dblp %P 42-70 %T Bridging Curry and Church's typing style. %U http://dblp.uni-trier.de/db/journals/japll/japll18.html#KamareddineSW16 %V 18

@article{journals/japll/KamareddineSW16, added-at = {2021-02-16T00:00:00.000+0100}, author = {Kamareddine, Fairouz and Seldin, Jonathan P. and Wells, J. B.}, biburl = {https://www.bibsonomy.org/bibtex/2f4f8d3a7cc3da256b45ca4385cb96db0/dblp}, ee = {https://doi.org/10.1016/j.jal.2016.05.008}, interhash = {e685dfe4a81edfe3254777058ca1a39a}, intrahash = {f4f8d3a7cc3da256b45ca4385cb96db0}, journal = {J. Appl. Log.}, keywords = {dblp}, pages = {42-70}, timestamp = {2024-04-09T02:13:43.000+0200}, title = {Bridging Curry and Church's typing style.}, url = {http://dblp.uni-trier.de/db/journals/japll/japll18.html#KamareddineSW16}, volume = 18, year = 2016 }