Login / Signup

Extracting a Normalization Algorithm in Isabelle/HOL.

Stefan Berghofer
Published in: TYPES (2004)
Keyphrases