Login / Signup

Introduction to Decidability of Higher-Order Matching.

Colin Stirling
Published in: FoSSaCS (2010)
Keyphrases