Towards a formal mathematical vernacular (1992)

by Jan Friso Groote
Venue:Utrecht University
Citations:2 - 0 self

Documents Related by Co-Citation

13 A Formal Verification of the Alternating Bit Protocol in the Calculus of Constructions – Marc Bezem, Jan Friso Groote - 1993
18 A computer-checked verification of Milner's scheduler – H.P. Korver, J. Springintveld, Henri Korver, Jan Springintveld - 1994
3 A computer-checked veri cation of Milner's scheduler – H Korver, J Springintveld
7 Type theory and concurrency – R Cleaveland, P Panangaden - 1988
13 The Coq proof assistant version 5.6 user's guide – G Dowek, A Felty, H Herbelin, G Huet, C Paulin-Mohring, B Werner - 1991
3 A formal veri cation of the alternating bit protocol in the calculus of constructions – M A Bezem, J F Groote - 1993
12 Inductive de nitions in the system Coq - rules and properties – C Paulin-Mohring - 1993
16 Proof theory for CRL – J F Groote, A Ponse - 1991
129 A Guide to LP, The Larch Prover – Stephen J. Garland, John V. Guttag - 1991
33 A Calculus of Communicating Systems. Volume 92 – R Milner - 1980
60 The algebra of recursively defined processes and the algebra of regular processes – J A Bergstra, J W Klop - 1984
97 The syntax and semantics of CRL – J F Groote, A Ponse - 1994
5 The algebra of recursively de ned processes and the algebra of regular processes – J A Bergstra, J W Klop - 1984
474 The calculus of constructions – T Coquand, G Huet - 1988
519 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
164 Inductive Definitions in the System Coq Rules and Properties – Christine Paulin-Mohring - 1992
1 Computer-Assisted Reasoning with Natural Language: Implementing a Mathematical Vernacular – Paul Callaghan, Zhaohui Luo - 1998
1 Elements of Mathematics - Theory of Sets, volume I – Nicolas Bourbaki - 1968
1 The varieties of mathematical prose. Available by web browser from http://www.cwru.edu/CWRU/Dept/Artsci/math/wells/pub/ papers.html – Atish Bagchi, Charles Wells - 1997