Paulson, Lawrence C.
Paulson, Lawrence C., 1955-....
VIAF ID: 91459151 (Personal)
4xx's: Alternate Name Forms (3)
- 400 1 _ ‡a Paulson, L. C.
- 400 1 _ ‡a Paulson, Laurence C.
- 400 1 _ ‡a Paulson, Lawrence
- ML for the working programmer (12)
- Isabelle a generic theorem prover (6)
- Logic and computation : interactive proof with Cambridge LCF (4)
- Isabelle, HOL a proof assistant for higher order logic (4)
- Logic and computation (2)
- Isabelle HOL (2)
- Quantified multimodal logics in simple type theory (1)
- ML for the working programmer (1)
- Isabelle/HOL a proof assistant for higher-order logic (1)
- Isabelle, c1994: (1)