Introducing equational type logic

Vicenzo Manca, Antonino Salibra, Giuseppe Scollo

    Research output: Contribution to journalMeeting AbstractAcademic

    2 Downloads (Pure)
    Original languageEnglish
    Pages (from-to)1132-1132
    JournalJournal of symbolic logic
    Volume56
    Issue number3
    DOIs
    Publication statusPublished - 1991
    EventEuropean Summer Meeting of the Association for Symbolic Logic, Logic Colloquium 1990 - Helsinki, Finland
    Duration: 15 Jul 199022 Jul 1990

    Cite this