Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free
scientific article; zbMATH DE number 6083955
scientific article