1. Allen, S.F.: A non-type-theoretic definition of martin-löf’s types. In: Proceedings of Second IEEE Symposium on Logic in Computer Science, pp. 215–224 (1987)
2. Allen, S.F.: An Abstract Semantics for Atoms in Nuprl. Cornell Tech Report TR2006-2032 (2006)
3. Bickford, M.: Event systems. Nuprl Math Library Book webpage (2003)
4. Bickford, M., Constable, R.L.: A logic of events. Technical Report TR2003-1893, Cornell University (2003)
5. Blass, A., Gurevich, Y., Shelah, S.: Choiceless polynomial time. Pure and Applied Logic 100, 141–187 (1999)