There Is No Best \beta -Normalization Strategy for Higher-Order Reasoners.

Alexander Steen, Christoph Benzmller

Browse the full LPAR paper archive.