Extracting a Normalization Algorithm in Isabelle/HOL

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/11617990_4 ◽

2006 ◽

pp. 50-65

Author(s):

Stefan Berghofer

Download Full-text