SUBSEXPL: A Framework for Simulating and Comparing Explicit Substitutions Calculi (2006)

by F L C de Moura, M Ayala-Rincón, F Kamareddine
Venue:Journal of Applied and Non-classical Logics