Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Swart, H.C.M.D. A Modern Perspective on Type Theory From its Origins until Today.. JoLLI 15, 297–302 (2006). https://doi.org/10.1007/s10849-006-1234-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10849-006-1234-x