Models and Axioms for the Semantics of Computation

  • Simpson, Alexander (Principal Investigator)
  • 13 Article
  • 3 Conference contribution
  • 3 Chapter (peer-reviewed)
Filter
Chapter (peer-reviewed)

Search results

  • 2005

    Constructive Set Theories and their Category-theoretic Models

    Simpson, A., 2005, From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics. Crosilla, L. & Schuster, P. (eds.). Oxford University Press, p. 41-59 19 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

  • Reduction in a linear lambda-calculus with applications to operational semantics

    Simpson, A., 2005, Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings. Springer, p. 219-234 15 p. (Lecture Notes in Computer Science; vol. 3467).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

    Open Access
    File
  • 2002

    Comparing Functional Paradigms for Exact Real-number Computation

    Bauer, A., Escardó, M. & Simpson, A., 2002, Automata, Languages and Programming: 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings. Springer, p. 488-500 13 p. (Lecture Notes in Computer Science; vol. 2380).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

    Open Access
    File