Sciweavers

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

9

SLP
1993

favoriteEmaildiscussreport

91views more SLP 1993»

Unification in a Lambda-Calculus with Intersection Types

13 years 5 months ago

Unification in a Lambda-Calculus with Intersection Types

Download kwarc.info

Michael Kohlhase, Frank Pfenning

Real-time Traffic

SLP 1993 |

claim paper

Related Content

» A typed lambda calculus with intersection types

» Logic and Computation in a Lambda Calculus with Intersection and Union Types

» Recognizability in the Simply Typed LambdaCalculus

» A Typed Intermediate Language for FlowDirected Compilation

» Strongly Normalising CutElimination with Strict Intersection Types

» Type classes with more higherorder polymorphism

» Exact Flow Analysis

» Dependency Tree Automata

» Essential Intersection Type Assignment

Post Info
More Details (n/a)

Added	02 Nov 2010
Updated	02 Nov 2010
Type	Conference
Year	1993
Where	SLP
Authors	Michael Kohlhase, Frank Pfenning

Comments (0)