Fernando Pastawski
AuthID: R-00K-T73
1
TITLE: CIC[^( )]: Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions
AUTHORS: Gilles Barthe; Benjamin Grégoire; Fernando Pastawski;
PUBLISHED: 2006, SOURCE: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings, VOLUME: 4246
AUTHORS: Gilles Barthe; Benjamin Grégoire; Fernando Pastawski;
PUBLISHED: 2006, SOURCE: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings, VOLUME: 4246
INDEXED IN: 
DBLP
DBLP2
TITLE: Practical Inference for Type-Based Termination in a Polymorphic Setting
AUTHORS: Gilles Barthe; Benjamin Grégoire; Fernando Pastawski;
PUBLISHED: 2005, SOURCE: Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings, VOLUME: 3461
AUTHORS: Gilles Barthe; Benjamin Grégoire; Fernando Pastawski;
PUBLISHED: 2005, SOURCE: Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings, VOLUME: 3461
INDEXED IN: DBLP
DBLP