Sciweavers

421 search results - page 2 / 85

» CSL

10

CSL
2009
Springer

109views Automated Reasoning» more CSL 2009»

Functional Interpretations of Intuitionistic Linear Logic

13 years 11 months ago

Functional Interpretations of Intuitionistic Linear Logic

Download www.eecs.qmul.ac.uk

Gilda Ferreira, Paulo Oliva

claim paper

Read More »

13

CSL
2009
Springer

146views Automated Reasoning» more CSL 2009»

From Coinductive Proofs to Exact Real Arithmetic

13 years 11 months ago

From Coinductive Proofs to Exact Real Arithmetic

Download www.cs.swan.ac.uk

Ulrich Berger

claim paper

Read More »

11

CSL
2009
Springer

104views Automated Reasoning» more CSL 2009»

Efficient Type-Checking for Amortised Heap-Space Analysis

13 years 11 months ago

Efficient Type-Checking for Amortised Heap-Space Analysis

Download www.lama.univ-savoie.fr

Martin Hofmann, Dulma Rodriguez

claim paper

Read More »

11

CSL
2009
Springer

103views Automated Reasoning» more CSL 2009»

A Complete Characterization of Observational Equivalence in Polymorphic lambda-Calculus with General References

13 years 11 months ago

A Complete Characterization of Observational Equivalence in Polymorphic lambda-Calculus with General References

Download www.kb.ecei.tohoku.ac.jp

Eijiro Sumii

claim paper

Read More »

11

CSL
2009
Springer

111views Automated Reasoning» more CSL 2009»

Kleene's Amazing Second Recursion Theorem

13 years 11 months ago

Kleene's Amazing Second Recursion Theorem

Download www.math.ucla.edu

Yiannis N. Moschovakis

claim paper

Read More »

« Prev « First page 2 / 85 Last » Next »