SUBSEXPL: a Tool for Simulating and Comparing Explicit Substitutions Calculi (2006)

by F L C de Moura, M Ayala-Rincón, F Kamareddine
Venue:Proc. 6th IEEE Symp