Paper: Full Abstraction and Expressive Completeness for FP (at LICS 1987)
Authors: Joseph Y. Halpern Edward L. WimmersAbstract
No Abstract Available
BibTeX
@InProceedings{HalpernWimmers-FullAbstractionandE, author = {Joseph Y. Halpern and Edward L. Wimmers}, title = {Full Abstraction and Expressive Completeness for FP}, booktitle = {Proceedings of the Second Annual IEEE Symp. on Logic in Computer Science, {LICS} 1987}, year = 1987, editor = {David Gries}, month = {June}, pages = {257--271 }, location = {Ithaca, NY, USA}, publisher = {IEEE Computer Society Press} }