Logic and Computation

Materias

• Cambridge LCF (Computer system)
• Data processing
• Computable functions

Ediciones (2)

• Logic and Computation (2011)

  Cambridge University Press · inglés · ISBN 9780511873256

• Logic and Computation (1987)

  Cambridge University Press · inglés · ISBN 9780511526602

Más obras de Lawrence C. Paulson

Isabelle/HOL

CConstructing recursions operators in intuitionistic type the

Constructing recursions operators in intuitionistic type theory

1984

TThe foundation of a generic theorem prover

The foundation of a generic theorem prover

1988