Strong normalization from an unusual point of view

Article OPEN
Paolini, Luca; Pimentel, Elaine; Ronchi Della Rocca, Simona;
(2011)
Share - Bookmark