CoMeta Tasks
- Categorie con Struttura (Struttura) - Robert Walters
- Categorie di Domini (Domini) - Marina Lenisa
- Categorie di Funtori (Prefasci) - Marino Miculan
- Equivalenze simboliche per sistemi aperti (BBU) - Paolo Baldan
- Linguaggi e modelli per transazioni distribuite (ZeroSafe) - Roberto Bruni
- Logical Frameworks (LF) - Marino Miculan
- Metodi Coalgebrici (Coalgebre) - Marina Lenisa
- Modelli algebrici e topologici per il polimorfismo e loro aspetti relazionali (Polimorfismo) - Giuseppe Rosolini
- Modelli di tiles a categorie doppie (Tiles) - Roberto Bruni
- Modelli e tipi per computazioni di complessità limitata (Complessità) - Luca Roversi
- Modelli logici e tipi per la sicurezza di processi ed ambienti mobili (Mobili) - Mariangiola Dezani
- Modelli matematici per computazioni parallele (Parellelismo) - Stefano Berardi
- Operatori di chiusura e semantica algebrica dell'iterazione (Iterazione) -
Stefano Mazzanti
- Sistemi di trasformazione di grafi (Grafi) - Andrea Corradini
- Spans e Cospans di grafi ((Co)Spans) - Robert Walters
- Tipi comportamentali per linguaggi funzionali ed orientati agli oggetti (Oggetti) - Ugo de' Liguoro
Last modified: Tue Aug 27 10:12:56 CEST 2002
