Sciweavers

1071 search results - page 19 / 215

» The Calculus of Algebraic Constructions

25

CSL
2007
Springer

93views Automated Reasoning» more CSL 2007»

Building Decision Procedures in the Calculus of Inductive Constructions

14 years 3 months ago

Building Decision Procedures in the Calculus of Inductive Constructions

Download www.lix.polytechnique.fr

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

claim paper

Read More »

25

TPHOL
2005
IEEE

103views Automated Reasoning» more TPHOL 2005»

Extensionality in the Calculus of Constructions

14 years 3 months ago

Extensionality in the Calculus of Constructions

Download www.lri.fr

Nicolas Oury

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 »

22

MPC
1989
Springer

62views Mathematics» more MPC 1989»

Constructing a Calculus of Programs

14 years 1 months ago

Constructing a Calculus of Programs

Download www.cs.uu.nl

Lambert G. L. T. Meertens

claim paper

Read More »

27

ITP
2010

142views Mathematics» more ITP 2010»

Inductive Consequences in the Calculus of Constructions

14 years 1 months ago

Inductive Consequences in the Calculus of Constructions

Download users.dimi.uniud.it

Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz

claim paper

Read More »

« Prev « First page 19 / 215 Last » Next »