Travelled to:2 × USA
Collaborated with:R.L.Constable D.J.Howe W.E.Aitken R.Eaton C.Kreitz L.Lorigo
Talks about:reflect (1) environ (1) semant (1) proof (1) nuprl (1) logic (1) open (1)
Person: Stuart F. Allen
DBLP: Allen:Stuart_F=
Contributed to:
2000
1990Wrote 2 papers:
- CADE-2000-AllenCEKL #logic
- The Nuprl Open Logical Environment (SFA, RLC, RE, CK, LL), pp. 170–176.
- LICS-1990-AllenCHA #proving #semantics
- The Semantics of Reflected Proof (SFA, RLC, DJH, WEA), pp. 95–105.