On the Expressiveness of Equational Type Logic

V. Manca, A. Salibra, Giuseppe Scollo

    Research output: Contribution to journalArticleProfessional

    Original languageUndefined
    Pages (from-to)-
    Number of pages15
    JournalMemoranda informatica
    Volume90
    Issue number39
    Publication statusPublished - 1990

    Keywords

    • METIS-121881

    Cite this