Extracting a normalization algorithm in Isabelle/HOL (2004)

by Stefan Berghofer
Venue:TYPES FOR PROOFS AND PROGRAMS, INTERNATIONAL WORKSHOP, TYPES 2004, JOUY-EN-JOSAS
Citations:2 - 1 self