Aarne Ranta. Type Theory and the Informal Language of Mathematics. In Henk Barendregt, Tobias Nipkow, editors, Types for Proofs and Programs, International Workshop TYPES 93, Nijmegen, The Netherlands, May 24-28, 1993, Selected Papers. Volume 806 of Lecture Notes in Computer Science, pages 352-365, Springer, 1993.
@inproceedings{Ranta93, title = {Type Theory and the Informal Language of Mathematics}, author = {Aarne Ranta}, year = {1993}, tags = {type theory}, researchr = {https://researchr.org/publication/Ranta93}, cites = {0}, citedby = {0}, pages = {352-365}, booktitle = {Types for Proofs and Programs, International Workshop TYPES 93, Nijmegen, The Netherlands, May 24-28, 1993, Selected Papers}, editor = {Henk Barendregt and Tobias Nipkow}, volume = {806}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-58085-9}, }