A Formal Calculus for Informal Equality with Binding.

Murdoch Gabbay, Aad Mathijssen

Browse the full WoLLIC paper archive.