@article{dybjer_2000,
    Author = {Dybjer, Peter},
    File = {2586554 (0) (0) - a - a - c.pdf},
    Journal = {Journal of Symbolic Logic},
    Number = {2},
    Pages = {525--549},
    Publisher = {Cambridge University Press},
    Title = {A general formulation of simultaneous inductive-recursive definitions in type theory},
    Volume = {65},
    Year = {2000},
    bdsk-url-1 = {https://doi.org/10.2307/2586554},
    date-added = {2019-03-21 22:06:56 +0100},
    date-modified = {2019-03-21 22:06:56 +0100},
    file-2 = {download (0) (0) - a - a - c.pdf},
    doi = {10.2307/2586554}
}

@article{dybjer_2000, Author = {Dybjer, Peter}, File = {2586554 (0) (0) - a - a - c.pdf}, Journal = {Journal of Symbolic Logic}, Number = {2}, Pages = {525--549}, Publisher = {Cambridge University Press}, Title = {A general formulation of simultaneous inductive-recursive definitions in type theory}, Volume = {65}, Year = {2000}, bdsk-url-1 = {https://doi.org/10.2307/2586554}, date-added = {2019-03-21 22:06:56 +0100}, date-modified = {2019-03-21 22:06:56 +0100}, file-2 = {download (0) (0) - a - a - c.pdf}, doi = {10.2307/2586554} }