Search Sciweavers | Sciweavers

150 search results - page 1 / 30

» types 1995

click to vote

TYPES
1995
Springer

106views Formal Methods» more TYPES 1995»

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

15 years 1 months ago

Download www.mathematik.uni-muenchen.de

Ulrich Berger, Helmut Schwichtenberg

claim paper

Read More »

click to vote

TYPES
1995
Springer

147views Formal Methods» more TYPES 1995»

A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals

15 years 1 months ago

Download sqig.math.ist.utl.pt

Jan Cederquist, Sara Negri

claim paper

Read More »

110

Voted

HOA
1995

133views Theoretical Computer Science» more HOA 1995»

Higher-Order Algebra with Transfinite Types

15 years 1 months ago

Download www.cs.ncl.ac.uk

L.J. Steggles

L. J. Steggles

claim paper

Read More »

Voted

LICS
1995
IEEE

88views Automated Reasoning» more LICS 1995»

A Typed Calculus of Synchronous Processes

15 years 1 months ago

Download www.dcs.gla.ac.uk

Simon J. Gay, Rajagopal Nagarajan

claim paper

Read More »

Voted

LICS
1995
IEEE

79views Automated Reasoning» more LICS 1995»

A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers