1534

Distributed Algorithms
– N A Lynch
 1996

473

The Calculus of Constructions
– T Coquand, G Huet
 1988

469

Interactive theorem proving and program development: Coq’Art: The calculus of inductive constructions
– Y Bertot, P Castéran
 2004

264

Constructive mathematics and computer programming
– P MartinLof
 1982

101

Proofs as programs
– J L Bates, Robert L Constable
 1985

15

Constructive mathematics and automatic program writers
– R L Constable
 1971

73

Building reliable, highperformance communication systems from components
– Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden , Kenneth Birman, Robert Constable
 1999

151

Implementing Mathematics with The Nuprl Proof Development System
– Robert L. Constable, Stuart F. Allen, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, Douglas J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, Scott F. Smith, James T. Sasaki, S. F. Smith
 1986

4

A causal logic of events in formalized computational type theory
– M Bickford, R L Constable
 2006

24

Innovations in computational type theory using nuprl
– Stuart F Allen, Mark Bickford, Robert L Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo, E Moran

33

The MetaPRL Logical Programming Environment
– J J Hickey
 2001

724

M.: Isabelle/HOL  A Proof Assistant for HigherOrder Logic
– T Nipkow, L C Paulson, Wenzel
 2002

2345

Time, clocks, and the ordering of events in a distributed system
– Leslie Lamport
 1978

1425

Impossibility of Distributed Consensus with One Faulty Process
– Michael J. Fischer, Nancy A. Lynch, Michael S. Paterson
 1985

9

Toward Practical Applications of Software Synthesis
– Douglas R. Smith, Cordell C. Green
 1996

10

Program synthesis
– Christoph Kreitz
 1998

25

A Constructive Proof of the Fundamental Theorem of Algebra without using the Rationals
– Herman Geuvers, Freek Wiedijk, Jan Zwanenburg
 2001

10

An introduction to Input/Output automata. Centrum voor Wiskunde en
– N Lynch, M Tuttle
 1989

44

The Nuprl Open Logical Environment
– S. F. Allen, R. L. Constable, R. Eaton, C. Kreitz, L. Lorigo
 2000
