论文信息 - Equational logic for names and binders - 字舞流文

Equational logic for names and binders

Ranald Alexander Clouston

[1] Christian Urban,et al. A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL , 2006, IJCAR.