Nikos Tzevelekos

2009
3	EE	Andrzej S. Murawski, Nikos Tzevelekos: Full Abstraction for Reduced ML. FOSSACS 2009: 32-47
2007
2	EE	Nikos Tzevelekos: Full abstraction for nominal general references. LICS 2007: 399-410
2006
1	EE	Nikos Tzevelekos: Investigations on the Dual Calculus. Theor. Comput. Sci. 360(1-3): 289-326 (2006)

Coauthor Index

1

Andrzej S. Murawski

[3]