Subsorting in CASL: CoFI Language Design Study Note

Maura Cerioli, Till Mossakowski, Bernd Krieg-Brückner, Anne Haxthausen, Peter D. Mosses, Olaf Owe

    Research output: Book/ReportReportpeer-review

    Original languageEnglish
    Publication statusPublished - 1996

    Cite this