A General Storage Theorem for Integers in Call-By-Name λ-Calculus (1993)

by Jean-louis Krivine
Citations:17 - 5 self