Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Dominic P. Mulligan

Permissive Nominal Terms and Their Unification: An Infinite, Co-Infinite Approach to Nominal Techniques

Logic Journal of the IGPL

English