A reduction scheme by pre-institution transformations

A. Salibra, Giuseppe Scollo

    Research output: Contribution to journalArticleAcademicpeer-review

    Original languageUndefined
    Pages (from-to)1130-1131
    JournalJournal of symbolic logic
    Issue number58
    Publication statusPublished - 1993

    Keywords

    • METIS-118485

    Cite this