@book{Granstr_m_2011,
    doi = {10.1007/978-94-007-1736-7},
    url = {https://doi.org/10.1007%2F978-94-007-1736-7},
    year = {2011},
    publisher = {Springer Netherlands},
    author = {Johan Georg Granström and Johan Georg Granström},
    title = {Treatise on Intuitionistic Type Theory}
}

@book{Granstr_m_2011, doi = {10.1007/978-94-007-1736-7}, url = {https://doi.org/10.1007%2F978-94-007-1736-7}, year = {2011}, publisher = {Springer Netherlands}, author = {Johan Georg Granström and Johan Georg Granström}, title = {Treatise on Intuitionistic Type Theory} }