A veri type checker (1995)

by R Pollack
Venue:Second International Conference on Typed Lambda Calculi and Applications, TLCA'95, number 902 in Lecture Notes in Computer Science