On the expressive power of simply typed and letThe Expressive Power of Higher-order Types or, Life without CONS 39 polymorphic lambda calculi (1996)

by G Hillebrand, P Kanellakis
Venue:Proceedings Logic in Computer Science (IEEE Computer Society