External Examiner (2006)

by Weng Kin Ho , Dr. Martín Escardó

Active Bibliography

Declaration – Weng Kin Ho - 2006
2 An operational domain-theoretic treatment of recursive types – Weng Kin Ho - 2006
481 Domain Theory – Samson Abramsky, Achim Jung - 1994
985 A theory of type polymorphism in programming – Robin Milner - 1978
766 Notions of Computation and Monads – Eugenio Moggi - 1991
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
517 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
791 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher