Un Calcul De Constructions Infinies Et Son Application A La Verification De Systemes Communicants (1996)

Cached

Download Links

by Carlos Eduardo Giménez , Suprieure De Lyon , Spcialit Informatique , Par Carlos Eduardo Gimnez , De Systemes Communicants , Roberto Amadio , Roberto Amadio , Luc Boug , Thierry Coquand , Thierry Coquand , Michel Cosnard (president , Gilles Kahn
Citations:16 - 0 self

Active Bibliography

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
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
2 Proof-search in type-theoretic languages: an introduction – Didier Galmiche, David J. Pym - 2000
19 Higher Order Logic – Daniel Leivant - 1994
22 Filters on coinductive streams, an application to eratosthenes’ sieve – Yves Bertot - 2005
12 Co-Inductive Types in Coq: An Experiment with the Alternating Bit Protocol – Eduardo Gimenez, Ecole Normale, Ecole Normale, Suprieure Lyon, Suprieure Lyon - 1995
29 General recursion via coinductive types – Venanzio Capretta
21 Type Theory and Programming – Thierry Coquand , Bengt Nordström, Jan M. Smith, Björn von Sydow - 1994
3 Pure type systems with corecursion on streams-- From finite to infinitary normalisation – Paula Severi, Fer-jan De Vries - 2012
Abstraction-Based Genetic Programming By – Franck J. L. Binard
6 Revisiting the Notion of Function – Fairouz Kamareddine, Twan Laan, Rob Nederpelt
4 Strong normalization from weak normalization in typed λ-calculi – Morten Heine Sørensen - 1997
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
A Functional Programming View of Type Theory – Thorsten Altenkirch , Thierry Coquand - 1995
1 Theories = Signatures + Propositions Used as Types – Stephan A. Missura - 1994
99 Martin-Löf’s Type Theory – B. Nordström, K. Petersson, J. M. Smith - 2000
4 Inheritance of Proofs – Martin Hofmann, Wolfgang Naraschewski, Martin Steffen, Terry Stroup, Fachbereich Mathematik, Lehrstuhl Fur Informatik Vii - 1996
6 Integrated Verification in Type Theory (Lecture Notes) – Thorsten Altenkirch - 1996
Some Intuitions Behind Realizability Semantics for Constructive Logic: Tableaux and Läuchli countermodels. – James Lipton, Lauchli Countermodels, Michael J. O'donnell - 1996