Multi‐Modal Type‐Logical Grammar
Richard T. Oehrle · 2011
This chapter contains sections titled: Introduction Grammatical Composition as Inference Structural Constraints on Inference Implicit Grammatical Concepts Implicational Reasoning The Curry–Howard Correspondence Hypothetical Reasoning with Higher-Order Types Higher-Order Types and “Empty Categories” Surface Polymorphism Modal Control I: Licensing Behavior Modal Control II: Exacting Behavior Surface Polymorphism Revisited I: Dutch Surface Polymorphism Revisited II: English Conclusions References