@incollection{Hasegawa_1995,
    doi = {10.1007/3-540-60164-3_28},
    url = {https://doi.org/10.1007%2F3-540-60164-3_28},
    year = {1995},
    publisher = {Springer Berlin Heidelberg},
    pages = {200--219},
    author = {Masahito Hasegawa},
    title = {Decomposing typed lambda calculus into a couple of categorical programming languages},
    booktitle = {Category Theory and Computer Science}
}

@incollection{Hasegawa_1995, doi = {10.1007/3-540-60164-3_28}, url = {https://doi.org/10.1007%2F3-540-60164-3_28}, year = {1995}, publisher = {Springer Berlin Heidelberg}, pages = {200--219}, author = {Masahito Hasegawa}, title = {Decomposing typed lambda calculus into a couple of categorical programming languages}, booktitle = {Category Theory and Computer Science} }