Sign in
E. Moran
Publication Activity (10 Years)
Years Active: 2006-2006
Publications (10 Years): 0
</>
Publications
</>
Stuart F. Allen
,
Mark Bickford
,
Robert L. Constable
,
Richard Eaton
,
Christoph Kreitz
,
Lori Lorigo
,
E. Moran
Innovations in computational type theory using Nuprl.
J. Appl. Log.
4 (4) (2006)