Up Next
Go up to Top
Go forward to 2 Specifications from the Paris Proposal

1 Specifications from the Bremen Proposal

  • 1.1 PO
  • 1.2 MONOID
  • 1.3 NAT
  • 1.4 SIG1
  • 1.5 SIG2
    • CoFI Document: CASL/SyntaxExamples --Version 0.99-- 17 February 1998.
    Comments to cofi-language@brics.dk

    Up Next