Embedding of Higher-Order Nominal Logic into Classical Higher-Order Logic
Isabelle Embedding
Higher-Order Nominal Modal Logic Embedding