E. Moran

	2006
1		Stuart 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

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