Recent developments in LCF

View on Open Library

Recent developments in LCF

by Lawrence C. Paulson

No reviews yet

First published: 1983 1 language

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Lawrence C. Paulson

ML for the working programmer

ML for the working programmer

Isabelle

Logic and computation

Logic and computation

Logic and Computation

Logic and Computation

Isabelle/HOL

Natural deduction theorem proving via higher-order resolution

Natural deduction theorem proving via hi...