E. Giménez

	2004
1		Gilles Barthe, Maria João Frade, E. Giménez, Luis Pinto, Tarmo Uustalu: Type-based termination of recursive definitions. Mathematical Structures in Computer Science 14(1): 97-141 (2004)

Coauthor Index

1	Gilles Barthe	[1]
2	Maria João Frade	[1]
3	Luis Pinto	[1]
4	Tarmo Uustalu	[1]