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


Isabelle Embedding

Higher-Order Nominal Modal Logic Embedding