Paper: Partial Objects In Constructive Type Theory (at LICS 1987)
Authors: Robert L. Constable Scott Fraser SmithAbstract
No Abstract Available
BibTeX
@InProceedings{ConstableSmith-PartialObjectsInCon, author = {Robert L. Constable and Scott Fraser Smith}, title = {Partial Objects In Constructive Type Theory}, booktitle = {Proceedings of the Second Annual IEEE Symp. on Logic in Computer Science, {LICS} 1987}, year = 1987, editor = {David Gries}, month = {June}, pages = {183--193}, location = {Ithaca, NY, USA}, publisher = {IEEE Computer Society Press} }