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

by Jean-louis Krivine
Citations:15 - 4 self