E-LIB Suche - Ergebnisse für: Alessi, Fabio

1

Lambda calculus with types

Perspectives in logic

Barendregt, Hendrik Pieter ; Alessi, Fabio ; Statman, Richard. , 2013

Link: https://doi.org/10.1017/..

2

An irregular filter model:

Alessi, Fabio
Theoretical Computer Science. 398 (2008) 1-3 - p. 129-149 , 2008

Link: https://doi.org/10.1016/..

3

Intersection types and lambda models:

Alessi, Fabio ; Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola
Theoretical Computer Science. 355 (2006) 2 - p. 108-126 , 2006

Link: https://doi.org/10.1016/..

4

Type Preorders and Recursive Terms:

Alessi, Fabio ; Dezani-Ciancaglini, Mariangiola
Electronic Notes in Theoretical Computer Science. 136 (2005) - p. 3-21 , 2005

Link: https://doi.org/10.1016/..

5

Intersection types and domain operators:

Alessi, Fabio ; Dezani-Ciancaglini, Mariangiola ; Lusin, Stefania
Theoretical Computer Science. 316 (2004) 1-3 - p. 25-47 , 2004

Link: https://doi.org/10.1016/..

6

A category of compositional domain-models for separable Sto..:

Alessi, Fabio ; Baldan, Paolo ; Honsell, Furio
Theoretical Computer Science. 290 (2003) 1 - p. 599-635 , 2003

Link: https://doi.org/10.1016/..

7

Intersection Types and Computational Rules:

Alessi, Fabio ; Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola
Electronic Notes in Theoretical Computer Science. 84 (2003) - p. 45-59 , 2003

Link: https://doi.org/10.1016/..

8

The Human Adult Skeletal Muscle Transcriptional Profile Rec..:

Bortoluzzi, Stefania ; d'Alessi, Fabio ; Romualdi, Chiara.
Genome Research. 10 (2000) 3 - p. 344-349 , 2000

Link: https://doi.org/10.1101/..

9

A characterization of distance between 1-bounded compact ul..:

Alessi, Fabio ; Baldan, Paolo
Theoretical Computer Science. 193 (1998) 1-2 - p. 113-127 , 1998

Link: https://doi.org/10.1016/..

10

A Comprehensive, High-Resolution Genomic Transcript Map of ..:

Bortoluzzi, Stefania ; Rampoldi, Luca ; Simionati, Barbara...
Genome Research. 8 (1998) 8 - p. 817-825 , 1998

Link: https://doi.org/10.1101/..

11

A fixed-point theorem in a category of compact metric space:

Alessi, Fabio ; Baldan, Paolo ; Bellé, Gianna
Theoretical Computer Science. 146 (1995) 1-2 - p. 311-320 , 1995

Link: https://doi.org/10.1016/..

12

A Definitional Implementation of the Lax Logical Framework ..:

Alessi, Fabio ; Ciaffaglione, Alberto ; Di Gianantonio, Pietro..
http://arxiv.org/abs/1910.10848. , 2019

Link: http://arxiv.org/abs/191..

13

A definitional implementation of the Lax Logical Framework ..:

Alessi, Fabio ; Ciaffaglione, Alberto ; Di Gianantonio, Pietro..
hal-02152406. , 2019

Link: https://hal.archives-ouv..

14

Tiered Objects:

Alessi, Fabio ; Cardone, Felice
info:eu-repo/semantics/altIdentifier/wos/WOS:000391745000002. , 2016

Link: http://hdl.handle.net/11..

15

Tiered objects:

Alessi, Fabio ; CARDONE, Felice
info:eu-repo/semantics/altIdentifier/wos/WOS:000391745000002. , 2016

Link: http://hdl.handle.net/23..