Stuart F. Allen

According to our database, Stuart F. Allen authored at least 5 papers between 1986 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Innovations in computational type theory using Nuprl.

Stuart F. Allen, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo, E. Moran

J. Appl. Log., 2006

2000

The Nuprl Open Logical Environment.

Stuart F. Allen, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo

Proceedings of the Automated Deduction, 2000

1990

The Semantics of Reflected Proof

Stuart F. Allen, Robert L. Constable, Douglas J. Howe, William E. Aitken

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

1987

A Non-Type-Theoretic Semantics for Type-Theoretic Language.

Stuart F. Allen

PhD thesis, 1987

1986

Implementing mathematics with the Nuprl proof development system.

Robert L. Constable, Stuart F. Allen, Mark Bromley, Rance Cleaveland, J. F. Cremer, Robert Harper, Douglas J. Howe, Todd B. Knoblock, Nax Paul Mendler, Prakash Panangaden, James T. Sasaki, Scott F. Smith

Prentice Hall, ISBN: 978-0-13-451832-9, 1986