Search Sciweavers | Sciweavers

370 search results - page 1 / 74

» Bounded modified realizability

Voted

JSYML
2006

84views more JSYML 2006»

Bounded modified realizability

14 years 10 months ago

Download www.ciul.ul.pt

We define a notion of realizability, based on a new assignment of formulas, which does not care for precise witnesses of existential statements, but only for bounds for them. The ...

Fernando Ferreira, Ana Nunes

claim paper

Read More »

click to vote

LICS
2007
IEEE

103views Automated Reasoning» more LICS 2007»

Modified Realizability Interpretation of Classical Linear Logic

15 years 4 months ago

Download www.eecs.qmul.ac.uk

Paulo Oliva

claim paper

Read More »

click to vote

TLCA
1993
Springer

109views Theoretical Computer Science» more TLCA 1993»

Modified Realizability Toposes and Strong Normalization Proofs

15 years 2 months ago

Download www.dpmms.cam.ac.uk

J. M. E. Hyland, C.-H. Luke Ong

claim paper

Read More »

Voted

TYPES
1993
Springer

104views Formal Methods» more TYPES 1993»

Proving Strong Normalization of CC by Modifying Realizability Semantics

15 years 2 months ago

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper

Read More »

Voted

JNIT
2010

77views more JNIT 2010»

A Modified Run-Length Coding for the Realization of Wavelet-based ECG Data Compression System

14 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers