Ines Margaria

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2008
j7		Ines Margaria, Maddalena Zacchi: Access control in mobile ambient calculi: A comparative view. Theor. Comput. Sci. 398(1-3): 183-202 (2008)
	2004
j6		Ines Margaria, Maddalena Zacchi: A Filter Model for Safe Ambients. Electr. Notes Theor. Comput. Sci. 104: 217-234 (2004)
	2000
j5		Ines Margaria, Maddalena Zacchi: Generalized filter models. Theor. Comput. Sci. 238(1-2): 363-387 (2000)
	1995
j4		Ines Margaria, Maddalena Zacchi: Principal Typing in a forall-and-Discipline. J. Log. Comput. 5(3): 367-381 (1995)
	1992
j3		Bart Jacobs, Ines Margaria, Maddalena Zacchi: Filter Models with Polymorphic Types. Theor. Comput. Sci. 95(1): 143-148 (1992)
	1986
j2		Mariangiola Dezani-Ciancaglini, Ines Margaria: A Characterization of F-Complete Type Assignments. Theor. Comput. Sci. 45(2): 121-157 (1986)
	1984
c1		Mariangiola Dezani-Ciancaglini, Ines Margaria: F-Semantics for Intersection Type Discipline. Semantics of Data Types 1984: 279-300
	1983
j1		Ines Margaria, Maddalena Zacchi: Right and Left Invertibility in lambda-beta-Calculus. ITA 17(1): 71-88 (1983)

Coauthor Index

1	Mariangiola Dezani-Ciancaglini (Mariangiola Dezani)	[j2] [c1]
2	Bart Jacobs	[j3]
3	Maddalena Zacchi	[j7] [j6] [j5] [j4] [j3] [j1]

Last update Wed May 22 07:01:42 2013 CET by the DBLP Team —

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