On the Expressiveness of equational type logic

Vincenzo Manca, Antonio Salibra, Giuseppe Scollo

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Original languageEnglish
    Title of host publicationThe unified computation laboratory
    Subtitle of host publicationModelling, specifications, and tools
    Place of PublicationNew York, NY
    PublisherOxford University Press
    Pages85-100
    Number of pages0
    ISBN (Print)978-0-19-853684-0
    Publication statusPublished - 1992

    Cite this