Pascal Boldini. Vagueness and Type Theory. In Christian Retoré, editor, Logical Aspects of Computational Linguistics, First International Conference, LACL 96, Nancy, France, September 23-25, 1996, Selected Papers. Volume 1328 of Lecture Notes in Computer Science, pages 134-148, Springer, 1996. [doi]
@inproceedings{Boldini96, title = {Vagueness and Type Theory}, author = {Pascal Boldini}, year = {1996}, url = {http://link.springer.de/link/service/series/0558/bibs/1328/13280134.htm}, tags = {type theory, Pascal}, researchr = {https://researchr.org/publication/Boldini96}, cites = {0}, citedby = {0}, pages = {134-148}, booktitle = {Logical Aspects of Computational Linguistics, First International Conference, LACL 96, Nancy, France, September 23-25, 1996, Selected Papers}, editor = {Christian Retoré}, volume = {1328}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-63700-1}, }