Program extraction from normalization proofs (1993)

by Ulrich Berger , Stefan Berghofer , Pierre Letouzey , Helmut Schwichtenberg
Venue:Typed Lambda Calculi and Applications, number 664 in Lecture Notes in Computer Science
Citations:60 - 5 self