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
    Number of pages0
    ISBN (Print)978-0-19-853684-0
    Publication statusPublished - 1992

    Cite this