Stefania Lusin

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2004

5 Stefania Lusin, Antonino Salibra: The Lattice of Lambda Theories. J. Log. Comput. 14(3): 373-394 (2004)

4 Fabio Alessi, Mariangiola Dezani-Ciancaglini, Stefania Lusin: Intersection types and domain operators. Theor. Comput. Sci. 316(1): 25-47 (2004)

2003

3 Stefania Lusin, Antonino Salibra: A Note on Absolutely Unorderable Combinatory Algebras. J. Log. Comput. 13(4): 481-502 (2003)

2002

2 Mariangiola Dezani-Ciancaglini, Stefania Lusin: Intersection Types and Lambda Theories CoRR cs.LO/0211011: (2002)

1 Fabio Alessi, Stefania Lusin: Simple Easy Terms. Electr. Notes Theor. Comput. Sci. 70(1): 1-18 (2002)

	2004
5		Stefania Lusin, Antonino Salibra: The Lattice of Lambda Theories. J. Log. Comput. 14(3): 373-394 (2004)
4		Fabio Alessi, Mariangiola Dezani-Ciancaglini, Stefania Lusin: Intersection types and domain operators. Theor. Comput. Sci. 316(1): 25-47 (2004)
	2003
3		Stefania Lusin, Antonino Salibra: A Note on Absolutely Unorderable Combinatory Algebras. J. Log. Comput. 13(4): 481-502 (2003)
	2002
2		Mariangiola Dezani-Ciancaglini, Stefania Lusin: Intersection Types and Lambda Theories CoRR cs.LO/0211011: (2002)
1		Fabio Alessi, Stefania Lusin: Simple Easy Terms. Electr. Notes Theor. Comput. Sci. 70(1): 1-18 (2002)

Coauthor Index

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	Fabio Alessi	[1] [4]
2	Mariangiola Dezani-Ciancaglini (Mariangiola Dezani)	[2] [4]
3	Antonino Salibra	[3] [5]