On the Expressiveness of equational type logic

V. Manca, A. Salibra, Giuseppe Scollo

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Original languageUndefined
    Title of host publicationThe Unified Computation Laboratory
    Place of PublicationOxford
    PublisherOxford University Press
    Pages85-100
    Number of pages0
    Publication statusPublished - 1992

    Keywords

    • METIS-118911

    Cite this