Introduction to Decidability of Higher-Order Matching.

Colin Stirling

Browse the full FOSSACS paper archive.