Models and Axioms for the Semantics of Computation

Simpson, Alexander (Principal Investigator)

13 Article
3 Conference contribution
3 Chapter (peer-reviewed)

3 results

Filter

2007
Complete Sequent Calculi for Induction and Infinite Descent
Simpson, A. & Brotherston, J., 2007, Logic in Computer Science, 2007. LICS 2007. 22nd Annual IEEE Symposium on. Institute of Electrical and Electronics Engineers, p. 51-62 12 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
2002
Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory
Simpson, A., 2002, Logic in Computer Science, 2002. Proceedings. 17th Annual IEEE Symposium on . Institute of Electrical and Electronics Engineers, p. 287-298 12 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Verifying temporal properties using explicit approximants: completeness for context-free processes
Schöpp, U. & Simpson, A., 2002, Foundations of Software Science and Computation Structures. Springer, p. 372-386 15 p. (Lecture Notes in Computer Science; vol. 2303).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File