Introducing equational type logic

V. Manca, A. Salibra, G. Scollo

    Research output: Contribution to journalArticleAcademicpeer-review

    Original languageEnglish
    Pages (from-to)1132-1132
    JournalJournal of symbolic logic
    Volume56
    Issue number3
    Publication statusPublished - 1991

    Cite this