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/Report › Report › Research › peer-review

    Original languageEnglish
    Publication statusPublished - 1996

    Access to Document

    OpenUrl availability

    Full text

    Cite this