LCF Logical Frameworks = Isabelle (25 Years Later) Lawrence C. Paulson, Computer Laboratory, University of Cambridge 16 April 2012 — Milner Symposium, Edinburgh 1979 - LCF - Document - PDFSEARCH.IO

First Page	Meta Content
	LCF + Logical Frameworks = Isabelle (25 Years Later) Lawrence C. Paulson, Computer Laboratory, University of Cambridge 16 April 2012 — Milner Symposium, Edinburgh 1979 Add to Reading List Document Date: 2012-10-10 03:52:06 Open Document File Size: 3,36 MB Share Result on Facebook

LCF + Logical Frameworks = Isabelle (25 Years Later) Lawrence C. Paulson, Computer Laboratory, University of Cambridge 16 April 2012 — Milner Symposium, Edinburgh 1979Add to Reading List