Stuart F. Allen

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2006
Innovations in computational type theory using Nuprl.
J. Appl. Log., 2006

2000
The Nuprl Open Logical Environment.
Proceedings of the Automated Deduction, 2000

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

1987
A Non-Type-Theoretic Semantics for Type-Theoretic Language.
PhD thesis, 1987

1986
Implementing mathematics with the Nuprl proof development system.
Prentice Hall, ISBN: 978-0-13-451832-9, 1986


  Loading...