Finitely Starti Polymorphism. Selections from the 1989 (1991)

by D Leivant
Venue:IEEE Symposium on Logic in Computer Science. Information and Computation 93