Proving termination of normalization functions for conditional expressions

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

Más obras de Lawrence C. Paulson

Isabelle/HOL

Logic and Computation

CConstructing recursions operators in intuitionistic type the

Constructing recursions operators in intuitionistic type theory

1984