Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5, 1940.
2. A. Camilleri, P. Iverardi, and M. Nesi. Combining interaction and automation in process algebra verification. In TAPSOFT '91, number 494 in Lecture Notes in Computer Science, pages 283–296. Springer Verlag, April 1991.
3. Rachel Cardell-Oliver. Using higher order logic for modelling real-time protocols. In TAPSOFT '91, number 494 in Lecture Notes in Computer Science, pages 259–282. Springer Verlag, April 1991.
4. M.J.C. Gordon, A.J.R.G. Milner, and C.P. Wadsworth. Edinburgh LCF: a mechanized logic of Computation, volume 78 of Lecture Notes in Computer Science. Springer Verlag, 1979.
5. Michael J.C. Gordon. Mechanizing programming logics in higher order logic. Technical Report 145, Computer Laboratory, University of Cambridge, September 1988. published in 1988 Banff Conf on Hardware Verification.