Fingerprint
Dive into the research topics of 'A formal calculus for informal equality with binding'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A formal calculus for informal equality with binding
Murdoch Gabbay, Aad Mathijssen
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
37
Citations
(Scopus)