Search Sciweavers | Sciweavers

91 search results - page 1 / 19

» Confined modified realizability

click to vote

MLQ
2010

107views more MLQ 2010»

Confined modified realizability

13 years 1 months ago

Download www.dcs.qmul.ac.uk

Gilda Ferreira, Paulo Oliva

claim paper

Read More »

click to vote

JSYML
2006

84views more JSYML 2006»

Bounded modified realizability

13 years 6 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

14 years 17 days 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

13 years 10 months ago

Download www.dpmms.cam.ac.uk

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

claim paper

Read More »

click to vote

TYPES
1993
Springer

104views Formal Methods» more TYPES 1993»

Proving Strong Normalization of CC by Modifying Realizability Semantics

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers