Sign in

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

Alexander SteenChristoph Benzmüller
Published in: LPAR (2015)
Keyphrases