The Complexity of Parameter Passing in Polymorphic Procedures (or: Programming Language Theorems Independent of Very Strong Theories)

Daniel Leivant

Browse the full STOC paper archive.