Gabbay, M.J ; Mathijssen, A.H.J Gabbay , M J & Mathijssen , A H J 2007 , A formal calculus for informal equality with binding . in D Leivant & R J G B Queiroz, de (eds) , Proceedings of the 14th Workshop on Logic, Language, Information and Computation (WoLLIC 2007) 2-5 July 2007, Rio de Janeiro, Brasil . Lecture Notes in Computer Science , vol. 4576 , Springer , Berlin, Germany , pp. 162-176 , conference; WoLLIC 2007, Rio de Janeiro, Brasil; 2007-07-02; 2007-07-05 , 2/07/07 . https://doi.org/10.1007/978-3-540-73445-1_12.
,
2007
Mathijssen, A.H.J Mathijssen , A H J 2007 , ' Logical calculi for reasoning with binding ' , Doctor of Philosophy , Mathematics and Computer Science , Eindhoven . https://doi.org/10.6100/IR630460.
,
2007