Permissive Nominal Terms and Their Unification: An Infinite, Co-Infinite Approach to Nominal Techniques
Logic Journal of the IGPL - United Kingdom
doi 10.1093/jigpal/jzq006
Full Text
Open PDFAbstract
Available in full text
Categories
Date
May 25, 2010
Authors
Publisher
Oxford University Press (OUP)