Encyclopedia > L > Lawrence Paulson
Lawrence Paulson
Lawrence Paulson (born 1955) is a professor at the University of Cambridge Computer Laboratory and a fellow of Clare College. He is best known for the cornerstone text on the programming language ML, ML for the Working Programmer His current work is based around the interactive theorem prover Isabelle], including work towards the [[Basic Perturbation Lemma, and verification of cryptographic protocols by set theory.
Information are taken from Wikipedia, the open encyclopedia, to which contribute many volunteers from around the whole world. Texts are available under the following conditions GNU Free Documentation License.
Encyklopedie (cz) Encyklopédia (sk) Enzyklopädie (de)