Sciweavers

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

74

CORR
2004
Springer

favoriteEmaildiscussreport

104views Education» more CORR 2004»

Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics

15 years 1 days ago

Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics

Download akira.ruc.dk

Jørgen Villadsen

Real-time Traffic

CORR 2004 | Education |

claim paper

Related Content

» A type system for functional traversalbased aspects

» A generic typeandeffect system

» Pure patterns type systems

» Monadic augment and generalised short cut fusion

» ReactiveML a reactive extension to ML

» The Structure of FirstOrder Causality

Post Info
More Details (n/a)

Added	17 Dec 2010
Updated	17 Dec 2010
Type	Journal
Year	2004
Where	CORR
Authors	Jørgen Villadsen

Comments (0)