@incollection{Aczel_1978,
    doi = {10.1016/s0049-237x(08)71989-x},
    url = {https://doi.org/10.1016%2Fs0049-237x%2808%2971989-x},
    year = {1978},
    publisher = {Elsevier},
    pages = {55--66},
    author = {Peter Aczel},
    title = {The Type Theoretic Interpretation of Constructive Set Theory},
    booktitle = {Logic Colloquium {\textquotesingle}77}
}

@incollection{Aczel_1978, doi = {10.1016/s0049-237x(08)71989-x}, url = {https://doi.org/10.1016%2Fs0049-237x%2808%2971989-x}, year = {1978}, publisher = {Elsevier}, pages = {55--66}, author = {Peter Aczel}, title = {The Type Theoretic Interpretation of Constructive Set Theory}, booktitle = {Logic Colloquium {\textquotesingle}77} }