@article{Kamareddine_2016,
    doi = {10.1016/j.jal.2016.05.008},
    url = {https://doi.org/10.1016%2Fj.jal.2016.05.008},
    year = {2016},
    month = {nov},
    publisher = {Elsevier {BV}},
    volume = {18},
    pages = {42--70},
    author = {Fairouz Kamareddine and Jonathan P. Seldin and J.B. Wells},
    title = {Bridging Curry and Church{\textquotesingle}s typing style},
    journal = {Journal of Applied Logic}
}

@article{Kamareddine_2016, doi = {10.1016/j.jal.2016.05.008}, url = {https://doi.org/10.1016%2Fj.jal.2016.05.008}, year = {2016}, month = {nov}, publisher = {Elsevier {BV}}, volume = {18}, pages = {42--70}, author = {Fairouz Kamareddine and Jonathan P. Seldin and J.B. Wells}, title = {Bridging Curry and Church{\textquotesingle}s typing style}, journal = {Journal of Applied Logic} }