The Nominal Datatype Package

Nominal Methods Group

funded by the German Research Foundation (DFG) within the Emmy-Noether Programme