Cambridge LCF swMATH ID: 31981 Software Authors: Paulson, Lawrence C.; Konrad Slind Description: Logic and computation. Interactive proof with Cambridge LCF. Homepage: https://theoremprover-museum.github.io/ Source Code: https://github.com/kohlhase/CambridgeLCF Keywords: category theory; reasoning about computation; mathematical logic; denotational semantics; recursive domains; Cambridge LCF; PP(lambda ) Related Software: Nuprl; HOL; LCF; ML; Automath; PVS; Isabelle; NQTHM; LEGO; Miranda; Coq; ProofPower; AFFIRM; Tecton; RRL; LARCH; Haskell; ETPS; Elf; EVES Cited in: 24 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Logic and computation. Interactive proof with Cambridge LCF. Zbl 0645.68041Paulson, Lawrence C. 1987 all top 5 Cited by 39 Authors 3 Paulson, Lawrence Charles 2 Thompson, Simon J. 1 Armando, Alessandro 1 Ballarin, Clemens 1 Boulton, Richard J. 1 Cavalcanti, Ana 1 Coquand, Thierry 1 de Moura, Leonardo 1 Despeyroux, Joëlle 1 Galmiche, Didier 1 Ganesalingam, Mohan 1 Giunchiglia, Fausto 1 Gowers, William Timothy 1 Hagino, Tatsuya 1 Harper, Robert 1 Hickey, Jason J. 1 Honsell, Furio 1 Huet, Gerard P. 1 Hurd, Joe 1 Kapur, Deepak 1 Lenisa, Marina 1 Levitt, Karl N. 1 Liquori, Luigi 1 Luo, Zhaohui 1 Musser, David R. 1 Noel, P. A. J. 1 Oliveira, Marcel 1 Olsson, Ronald A. 1 Passmore, Grant Olney 1 Pym, David J. 1 Rueß, Harald 1 Sannella, Donald T. 1 Slind, Konrad 1 Sternagel, Christian 1 Tarlecki, Andrzej 1 Thiemann, René 1 Traverso, Paolo 1 Zeyda, Frank 1 Zhang, Cui all top 5 Cited in 10 Serials 4 Journal of Automated Reasoning 3 Theoretical Computer Science 3 Journal of Symbolic Computation 2 Formal Aspects of Computing 1 BIT 1 Science of Computer Programming 1 Annals of Pure and Applied Logic 1 Information and Computation 1 Annals of Mathematics and Artificial Intelligence 1 Cambridge Tracts in Theoretical Computer Science Cited in 5 Fields 24 Computer science (68-XX) 12 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Category theory; homological algebra (18-XX) Citations by Year