Search Sciweavers | Sciweavers

385 search results - page 10 / 77

» Extensionality in the Calculus of Constructions

click to vote

MPC
1995
Springer

125views Mathematics» more MPC 1995»

Synthesizing Proofs from Programs in the Calculus of Inductive Constructions

13 years 11 months ago

Download www.mathematik.uni-muenchen.de

We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...

Catherine Parent

claim paper

Read More »

click to vote

POPL
2003
ACM

109views Programming Languages» more POPL 2003»

Coercive subtyping for the calculus of constructions

14 years 7 months ago

Download www.church-project.org

Gang Chen

claim paper

Read More »

click to vote

CSL
2007
Springer

93views Automated Reasoning» more CSL 2007»

Building Decision Procedures in the Calculus of Inductive Constructions

14 years 1 months ago

Download www.lix.polytechnique.fr

Frédéric Blanqui, Jean-Pierre Jouann...

claim paper

Read More »

click to vote

TYPES
1998
Springer

117views Formal Methods» more TYPES 1998»

A Modal Lambda Calculus with Iteration and Case Constructs

13 years 11 months ago

Download hal.inria.fr

Joëlle Despeyroux, Pierre Leleu

claim paper

Read More »

click to vote

MPC
1989
Springer

62views Mathematics» more MPC 1989»

Constructing a Calculus of Programs

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers