Inductive Definitions in the System Coq Rules and Properties (1992)

View PDF

Download Links

by Christine Paulin-Mohring
Citations:185 - 2 self

Active Bibliography

2 The Coq Proof Assistant - Reference Manual Version 6.1 – Jean-Christophe Filliâtre, Hugo Herbelin, Bruno Barras, Bruno Barras, Samuel Boutin, Eduardo Giménez, Samuel Boutin, Gérard Huet, César Muñoz, Cristina Cornes, Cristina Cornes, Judicaël Courant, Judicael Courant, Chetan Murthy, Chetan Murthy, Catherine Parent, Catherine Parent, Christine Paulin-mohring, Christine Paulin-mohring, Amokrane Saibi, Amokrane Saibi, Benjamin Werner, Benjamin Werner - 1997
The Coq Proof Assistant - Reference Manual V 5.10 – Cristina Cornes, Judicaël Courant, Jean-Christophe Filliâtre, Gérard Huet, Chetan Murthy, César Muñoz, Catherine Parent, Amokrane Saibi Benjamin Werner, Calcul Symbolique, Pascal Manoury, Pascal Manoury, Amokrane Saibi, Benjamin Werner, Projet Coq - 1995
33 Constructions, Inductive Types and Strong Normalization – Thorsten Altenkirch - 1993
1 CC+: An extension of the Calculus of Constructions with fixpoints – Philippe Audebaud - 1993
290 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
263 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
21 Synthesizing proofs from programs in the Calculus of Inductive Constructions – Catherine Parent - 1995
6 Verifying programs in the Calculus of Inductive Constructions – Catherine Parent-vigouroux - 1997
254 Categorial Type Logics – Michael Moortgat - 1997