Sciweavers

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

7

TOCL
2008

favoriteEmaildiscussreport

78views more TOCL 2008»

Contextual modal type theory

13 years 4 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)