DOCUMENT RESOURCES FOR EVERYONE
Documents tagged
Documents Vacuous quantification and free variables: historical and speculative reflections on LF

Three Grades of Variable Involvement; Or WHY THERE ARE NO SYNTACTIC VARIABLES Vacuous quantification and free variables: historical and speculative reflections on LF [email protected]