Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

94

Voted

TOCL
2008

78views more TOCL 2008»

Contextual modal type theory

15 years 2 months ago

Contextual modal type theory

Download www.cs.cmu.edu

Aleksandar Nanevski, Frank Pfenning, Brigitte Pien

Real-time Traffic

TOCL 2008 |

claim paper

Related Content

» Functional Programming With Higherorder Abstract Syntax and Explicit Substitutions

» A modal foundation for metavariables

» Explicit Substitutions for Contextual Type Theory

» Information Retrieval in a Coq Proof Library Using Type Isomorphisms

» Optimizing HigherOrder Pattern Unification

» A polymorphic modal type system for lisplike multistaged languages

» Encoding Modal Logics in Logical Frameworks

» Modal Aspects of Object Types and PartWhole Relations and the de rede dicto Distinction

» Combining Logics in Simple Type Theory

Post Info
More Details (n/a)

Added	15 Dec 2010
Updated	15 Dec 2010
Type	Journal
Year	2008
Where	TOCL
Authors	Aleksandar Nanevski, Frank Pfenning, Brigitte Pientka

Comments (0)