Sciweavers

31686 search results - page 94 / 6338

» Resource typing in Guru

19

TYPES
2004
Springer

94views Formal Methods» more TYPES 2004»

Surreal Numbers in Coq

14 years 2 months ago

Surreal Numbers in Coq

Download types2004.lri.fr

Lionel Elie Mamane

claim paper

Read More »

20

TYPES
2004
Springer

78views Formal Methods» more TYPES 2004»

Interfaces as Games, Programs as Strategies

14 years 2 months ago

Interfaces as Games, Programs as Strategies

Download types2004.lri.fr

Markus Michelbrink

claim paper

Read More »

25

TYPES
1998
Springer

117views Formal Methods» more TYPES 1998»

A Modal Lambda Calculus with Iteration and Case Constructs

14 years 1 months ago

A Modal Lambda Calculus with Iteration and Case Constructs

Download hal.inria.fr

Joëlle Despeyroux, Pierre Leleu

claim paper

Read More »

24

TYPES
1993
Springer

104views Formal Methods» more TYPES 1993»

Proving Strong Normalization of CC by Modifying Realizability Semantics

14 years 1 months ago

Proving Strong Normalization of CC by Modifying Realizability Semantics

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper

Read More »

24

TYPES
1995
Springer

106views Formal Methods» more TYPES 1995»

The Greatest Common Divisor: A Case Study for Program Extraction from Classical Proofs

14 years 16 days ago

The Greatest Common Divisor: A Case Study for Program Extraction from Classical Proofs

Download www.mathematik.uni-muenchen.de

Ulrich Berger, Helmut Schwichtenberg

claim paper

Read More »

« Prev « First page 94 / 6338 Last » Next »