Search Sciweavers | Sciweavers

91 search results - page 1 / 19

» Confined modified realizability

Voted

MLQ
2010

107views more MLQ 2010»

Confined modified realizability

14 years 5 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

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 5 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 »

click to vote

TYPES
1993
Springer

104views Formal Methods» more TYPES 1993»

Proving Strong Normalization of CC by Modifying Realizability Semantics

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers