No. 12 (2005): RS-12 Program Extraction from Proofs of Weak Head Normalization

Published: 2005-01-12

Articles