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

E. Moran

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
1EEStuart F. Allen, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo, E. Moran: Innovations in computational type theory using Nuprl. J. Applied Logic 4(4): 428-469 (2006)

Coauthor Index

1Stuart F. Allen [1]
2Mark Bickford [1]
3Robert L. Constable [1]
4Richard Eaton [1]
5Christoph Kreitz [1]
6Lori Lorigo [1]

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