A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning von Alessi, Fabio, Ciaffaglione, Alberto, Di Gianantonio, Pietro, Honsell, Furio, Lenisa, Marina

Volltext

LF+ in Coq for "fast and loose" reasoning von Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto

Volltext

IDEG6: a web tool for detection of differentially expressed genes in multiple tag sampling experiments von Romualdi, Chiara, Bortoluzzi, Stefania, d'Alessi, Fabio, Danieli, Gian Antonio

Volltext

An irregular filter model von Alessi, Fabio

Volltext

An irregular filter model: Calculi, types and applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca von ALESSI, Fabio

Volltext

A Computational Reconstruction of the Adult Human Heart Transcriptional Profile von Bortoluzzi, Stefania, d»Alessi, Fabio, Danieli, Gian Antonio

Volltext

Intersection types and lambda models von Alessi, Fabio, Barbanera, Franco, Dezani-Ciancaglini, Mariangiola

Volltext

Intersection types and lambda models: Logic, language, information and computation von ALESSI, Fabio, BARBANERA, Franco, DEZANI-CIANCAGLINI, Mariangiola

Volltext

Type Preorders von Alessi, Fabio

Volltext

Intersection types and domain operators: Recent Developments in Domain Theory: A collection of papers in honour of Dana S. Scott von ALESSI, Fabio, DEZANI-CIANCAGLINI, Mariangiola, LUSIN, Stefania

Volltext

Intersection types and domain operators von Alessi, Fabio, Dezani-Ciancaglini, Mariangiola, Lusin, Stefania

Volltext

Recursive Domain Equations of Filter Models von Alessi, Fabio, Severi, Paula

Volltext

Strong conjunction and intersection types von Alessi, Fabio, Barbanera, Franco

Volltext

A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning von Alessi, Fabio, Ciaffaglione, Alberto, Pietro Di Gianantonio, Honsell, Furio, Lenisa, Marina

Volltext

A category of compositional domain-models for separable Stone spaces von Alessi, Fabio, Baldan, Paolo, Honsell, Furio

Volltext

Tailoring Filter Models von Alessi, Fabio, Barbanera, Franco, Dezani-Ciancaglini, Mariangiola

Volltext

Eye Knowledge Network: A Social Network for the Eye Care Community von Verago, Rudi, Cedrati, Fabian Chatwin, d’Alessi, Fabio, Zanette, Arrigo

Volltext

A characterization of distance between 1-bounded compact ultrametric spaces through a universal space von Alessi, Fabio, Baldan, Paolo

Volltext

Arrhythmogenic right ventricular cardiomyopathy: clinical registry and database, evaluation of therapies, pathology registry, DNA banking von Basso, Cristina, Wichter, Thomas, Danieli, Gian A, Corrado, Domenico, Czarnowska, Elzbieta, Fontaine, Guy, McKenna, William J, Nava, Andrea, Protonotarios, Nikos, Antoniades, Loizos, Wlodarska, Katharzyna, D'Alessi, Fabio, Thiene, Gaetano

Volltext

Filter Models and Easy Terms von Alessi, Fabio, Dezani-Ciancaglini, Mariangiola, Honsell, Furio

Volltext