cofi-semantics Mail Archive Threads 2000
Thread index
Last updated: Tue Jan 02 23:15:10 2001
15 messages
CoFI workshop at ETAPS'2000 in Berlin,
tarlecki
Paper on relating CASL to other languages,
Till Mossakowski
Axiom of choice in CASL,
Till Mossakowski
Berlin meeting of the semantics task group,
Andrzej Tarlecki
IFIP WG1.3 meeting,
Peter Padawitz
Subsorting in CASL,
Till Mossakowski
URGENT: CoFI WG annual report,
tarlecki
Instantiations with partial and total functions,
Till Mossakowski
Partial vs. total function symbols,
Lutz Schroeder
New study notes,
Till Mossakowski
Mail converted by MHonArc 2.4.6