Eta-expansions in F-omega (1996)

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