Fairouz Kamareddine, Jonathan P. Seldin, J. B. Wells. Bridging Curry and Church's typing style. J. Applied Logic, 18:42-70, 2016. [doi]
@article{KamareddineSW16, title = {Bridging Curry and Church's typing style}, author = {Fairouz Kamareddine and Jonathan P. Seldin and J. B. Wells}, year = {2016}, doi = {10.1016/j.jal.2016.05.008}, url = {http://dx.doi.org/10.1016/j.jal.2016.05.008}, researchr = {https://researchr.org/publication/KamareddineSW16}, cites = {0}, citedby = {0}, journal = {J. Applied Logic}, volume = {18}, pages = {42-70}, }