DMCA

Categorical Models of Explicit Substitutions (1999)

by Neil Ghani , Valeria De Paiva , Eike Ritter
Venue:Proc. of FoSSaCS'99
Citations:1 - 1 self