Graph-based coalitional games: an analysis via characteristics. - Frank Nebel (VALUETOOLS, 2011)

Nominal Lambda Calculus: An Internal Language for FM-Cartesian Closed Categories. - Roy L. Crole; Frank Nebel (MFPS, 2013)

Nominal lambda calculus. - Frank Nebel (2015)