Denis Cousineau

Ecole Polytechnique

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:

Denis Cousineau - University of Montreal

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2012

2 Denis Cousineau: On completeness of reducibility candidates as a semantics of strong normalization Logical Methods in Computer Science 8(1): (2012)

2007

1 Denis Cousineau, Gilles Dowek: Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo. TLCA 2007: 102-117

	2012
2		Denis Cousineau: On completeness of reducibility candidates as a semantics of strong normalization Logical Methods in Computer Science 8(1): (2012)
	2007
1		Denis Cousineau, Gilles Dowek: Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo. TLCA 2007: 102-117

Coauthor Index

1 Gilles Dowek [1]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team —

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