Invited Talk: Quantitative and Qualitative Semantics (at LICS 1986)
Authors: Jean-Yves GirardAbstract
No Abstract Available
BibTeX
@InProceedings{Girard-QuantitativeandQual, author = {Jean-Yves Girard}, title = {Quantitative and Qualitative Semantics}, booktitle = {Proceedings of the First Annual IEEE Symp. on Logic in Computer Science, {LICS} 1986}, year = 1986, editor = {Albert Meyer}, month = {June}, pages = {258}, location = {Cambridge, MA, USA}, note = {Invited Talk}, publisher = {IEEE Computer Society Press} }