Sciweavers

23

CORR
2010
Springer

67views Education» more CORR 2010»

Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability

13 years 9 months ago

Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability

Download hal.archives-ouvertes.fr

Meriem Ouederni, Gwen Salaün

claim paper

Read More »

10

CORR
2010
Springer

60views Education» more CORR 2010»

Dialectica Interpretation with Marked Counterexamples

13 years 9 months ago

Dialectica Interpretation with Marked Counterexamples

Download www.doc.ic.ac.uk

G

Trifon Trifonov

claim paper

Read More »

22

CORR
2010
Springer

61views Education» more CORR 2010»

Relating Sequent Calculi for Bi-intuitionistic Propositional Logic

13 years 9 months ago

Relating Sequent Calculi for Bi-intuitionistic Propositional Logic

Download www.cs.ioc.ee

Luis Pinto, Tarmo Uustalu

claim paper

Read More »

38

CORR
2010
Springer

71views Education» more CORR 2010»

On Various Negative Translations

13 years 9 months ago

On Various Negative Translations

Download www.doc.ic.ac.uk

Abstract. Several proof translations of classical mathematics into intuitionistic mathematics have been proposed in the literature over the past century. These are normally referre...

Gilda Ferreira, Paulo Oliva

claim paper

Read More »

33

CORR
2010
Springer

130views Education» more CORR 2010»

Interactive Learning Based Realizability and 1-Backtracking Games

13 years 9 months ago

Interactive Learning Based Realizability and 1-Backtracking Games

Download www.doc.ic.ac.uk

Abstract. We prove that interactive learning based classical realizability (introduced by Aschieri and Berardi for first order arithmetic [1]) is sound with respect to Coquand game...

Federico Aschieri

claim paper

Read More »

15

CORR
2010
Springer

71views Education» more CORR 2010»

Equality, Quasi-Implicit Products, and Large Eliminations

13 years 9 months ago

Equality, Quasi-Implicit Products, and Large Eliminations

Download www.cs.uiowa.edu

This paper presents a type theory with a form of equality reflection: provable equalities can be used to coerce the type of a term. Coercions and other annotations, including impl...

Vilhelm Sjöberg, Aaron Stump

claim paper

Read More »

28

CORR
2010
Springer

99views Education» more CORR 2010»

Session Types = Intersection Types + Union Types

13 years 9 months ago

Session Types = Intersection Types + Union Types

Download www.di.unito.it

Luca Padovani

claim paper

Read More »

16

CORR
2010
Springer

45views Education» more CORR 2010»

Untangling Typechecking of Intersections and Unions

13 years 9 months ago

Untangling Typechecking of Intersections and Unions

Download www.cs.cmu.edu

Joshua Dunfield

claim paper

Read More »

12

CORR
2010
Springer

47views Education» more CORR 2010»

Intersection types for unbind and rebind

13 years 9 months ago

Intersection types for unbind and rebind

Download www.di.unito.it

Mariangiola Dezani-Ciancaglini, Paola Giannini, El...

claim paper

Read More »

32

CORR
2010
Springer

55views Education» more CORR 2010»

Loops under Strategies ... Continued

13 years 9 months ago

Loops under Strategies ... Continued

Download cl-informatik.uibk.ac.at

René Thiemann, Christian Sternagel, Jü...

claim paper

Read More »