13

A Formal Verification of the Alternating Bit Protocol in the Calculus of Constructions
– Marc Bezem, Jan Friso Groote
 1993

18

A computerchecked verification of Milner's scheduler
– H.P. Korver, J. Springintveld, Henri Korver, Jan Springintveld
 1994

3

A computerchecked 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 PaulinMohring, 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 PaulinMohring
 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 PaulinMohring
 1992

1

ComputerAssisted 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
