Fernando Pastawski

	2006
2		Gilles Barthe, Benjamin Grégoire, Fernando Pastawski: CIC[^( )]: Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions. LPAR 2006: 257-271
	2005
1		Gilles Barthe, Benjamin Grégoire, Fernando Pastawski: Practical Inference for Type-Based Termination in a Polymorphic Setting. TLCA 2005: 71-85

Coauthor Index

1	Gilles Barthe	[1] [2]
2	Benjamin Grégoire	[1] [2]