Sciweavers

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

10

CIE
2008
Springer

favoriteEmaildiscussreport

104views Applied Computing» more CIE 2008»

Hybrid Functional Interpretations

13 years 6 months ago

Hybrid Functional Interpretations

Download www.eecs.qmul.ac.uk

We show how different functional interpretations can be combined via a multi-modal linear logic. A concrete hybrid of Kreisel's modified realizability and G

Mircea-Dan Hernest, Paulo Oliva

Real-time Traffic

Applied Computing | CIE 2008 | Concrete Hybrid | Kreisel's Modified Realizability | Multi-modal Linear Logic |

claim paper

Related Content

» Functional interpretations of linear and intuitionistic logic

» A Note on Abstract Interpretation Strategies for Hybrid Automata

» Learning Yeast Gene Functions from Heterogeneous Sources of Data Using Hybrid Weighted Bay...

» KOPLS package Kernelbased orthogonal projections to latent structures for prediction and i...

» A Functional Shell That Dynamically Combines Compiled Code

» A Logical Product Approach to Zonotope Intersection

» Hybrid Segmentation Framework for Tissue Images Containing Gene Expression Data

» Continuity controlled hybrid automata

» Cartesian closed Dialectica categories

Post Info
More Details (n/a)

Added	12 Oct 2010
Updated	12 Oct 2010
Type	Conference
Year	2008
Where	CIE
Authors	Mircea-Dan Hernest, Paulo Oliva

Comments (0)