HIGHLIGHTS
- who: Theoretical Informatics and collaborators from the School of Computer Science McGill University Montru00e9al, QC, Canada have published the research: ENTICS A Categorical Normalization Proof for the Modal Lambda-Calculus, in the Journal: (JOURNAL)
- what: The authors investigate a simply typed modal u03bbu2192 due to Pfenning Wong and Davies where the authors define a well-typed term with respect to a context stack that captures the possible world semantics in a syntactic way. As opposed to Nanevski et_al , the authors provide a contextual type formulation in u03bbu2192 inspired by the notion of Kripke-style substitutions . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.