On the Expressiveness of equational type logic

Vincenzo Manca, Antonio Salibra, Giuseppe Scollo

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Filter
    Report

    Search results