A formal calculus for informal equality with binding (2007)

Cached

Download Links

by Murdoch J. Gabbay , Aad Mathijssen
Venue:In WoLLIC’07: 14th Workshop on Logic, Language, Information and Computation, volume 4576 of LNCS
Citations:13 - 2 self