Constructing recursions operators in intuitionistic type theory

de Lawrence C. Paulson · Publicada por primera vez en 1984

Más obras de Lawrence C. Paulson

Isabelle/HOL

Logic and Computation

TThe foundation of a generic theorem prover

The foundation of a generic theorem prover

1988