Sciweavers

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

6

JFP
1998

favoriteEmaildiscussreport

36views more JFP 1998»

Computational Types from a Logical Perspective

13 years 5 months ago

Computational Types from a Logical Perspective

Download perso.ens-lyon.fr

P. N. Benton, Gavin M. Bierman, Valeria de Paiva

Real-time Traffic

JFP 1998 |

claim paper

Related Content

» Computational Perspectives on Map Generalization

» Typology of Service Innovation from ServiceDominant Logic Perspective

» On the Accuracy of Type2 Fuzzy Sets

» Light types for polynomial time computation in lambdacalculus

» Causal Reasoning with Contexts Using Dependent Types

» Research Perspectives for Logic and Deduction

» From Flow Logic to Static Type Systems for Coordination Languages

» Extracting Purely Functional Contents from Logical Inductive Types

» Towards Computability of Higher Type Continuous Data

Post Info
More Details (n/a)

Added	22 Dec 2010
Updated	22 Dec 2010
Type	Journal
Year	1998
Where	JFP
Authors	P. N. Benton, Gavin M. Bierman, Valeria de Paiva

Comments (0)