A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL

From MaRDI portal
Publication:3613430