Eta-expansions in F-omega (1996)

by N Ghani
Venue:In Proceedings of CSL’96, number 1258 in Lecture Notes in Computer Science