dblp.uni-trier.dewww.uni-trier.de

Denis Cousineau

Ecole Polytechnique

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

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

Coauthor Index

1Gilles Dowek [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)