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

15 years 1 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 »

164

click to vote

POPL
2003
ACM

109views Programming Languages» more POPL 2003»

Coercive subtyping for the calculus of constructions

15 years 10 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

15 years 3 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

15 years 1 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

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers