Workshop on Type-theoretic Languages: Proof-search and Semantics

Didier Galmiche 1
1 TYPES - Logic, proof Theory and Programming
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Type-theoretic Languages: Proof-search and semantics
Type de document :
Communication dans un congrès
17th Conference on Automated DEduction - CADE-17, 2000, CMU, Pittsburgh/USA, 90 p, 2000
Liste complète des métadonnées

https://hal.inria.fr/inria-00099240
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:52:04
Dernière modification le : mardi 24 avril 2018 - 13:34:46

Identifiants

  • HAL Id : inria-00099240, version 1

Collections

Citation

Didier Galmiche. Workshop on Type-theoretic Languages: Proof-search and Semantics. 17th Conference on Automated DEduction - CADE-17, 2000, CMU, Pittsburgh/USA, 90 p, 2000. 〈inria-00099240〉

Partager

Métriques

Consultations de la notice

87