cofi-semantics Mail Archives 1998

• Thread Index

• The semantics group meeting in Cachan
  98/11/13 -- Andrzej Tarlecki
• Semantics of CASL v1.0
  98/11/06 -- Don Sannella
• Revised study note S-8
  98/11/03 -- Till Mossakowski
• Meeting in Cachan
  98/10/28 -- Andrzej Tarlecki
• Semantics for CASL v.1.0
  98/10/15 -- Andrzej Tarlecki
• Transitive overloading relations?
  98/09/24 -- Till Mossakowski
• CoFI mailing lists; CoFI workshop in Cachan, 7-11/11/98 - REGISTER NOW
  98/09/15 -- Don Sannella
• Re^n: Semantics of free datatype in presence of subsorting
  98/08/27 -- Maura Cerioli
• Re: Semantics of free datatype in presence of subsorting
  98/08/27 -- Till Mossakowski
• Re: Semantics of free datatype in presence of subsorting
  98/08/26 -- Till Mossakowski
• Re: Semantics of free datatype in presence of subsortingPeter D. Mosses wrote:
  98/08/26 -- Maura Cerioli
• Re: Semantics of free datatype in presence of subsorting
  98/08/26 -- Peter D. Mosses
• Re: Semantics of free datatype in presence of subsorting
  98/07/30 -- Anne Haxthausen
• Re: Semantics of free datatype in presence of subsorting (NEW VERSION)
  98/07/27 -- Till Mossakowski
• Semantics of free datatype in presence of subsorting (NEW VERSION]
  98/07/27 -- Maura Cerioli
• Semantics of free datatype in presence of subsorting.
  98/07/27 -- Maura Cerioli
• Re: Study note on Institution independence
  98/06/18 -- Peter D. Mosses
• Study note on Institution independence
  98/06/17 -- Till Mossakowski
• Institution independence
  98/04/27 -- till
• Views - a correction
  98/04/23 -- hubert
• Views
  98/04/23 -- hubert
• Re: Lisbon meeting -> schedule of work!
  98/04/22 -- Peter D. Mosses
• Lisbon meeting -> schedule of work!
  98/04/21 -- Andrzej Tarlecki
• Re: CASL version 0.99 DRAFT
  98/03/20 -- Peter D. Mosses
• CASL version 0.99
  98/03/19 -- Andrzej Tarlecki
• CoFI Semantics Note S-7 (Cocompleteness of the CASL signature category)
  98/02/17 -- Don Sannella