Descendants and Head Normalization of Higher-Order Rewrite Systems.

Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa

Browse the full FLOPS paper archive.