Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00099240
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 8:52:04 AM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM

Identifiers

  • 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, D. Galmiche, 2000, CMU, Pittsburgh/USA, 90 p. ⟨inria-00099240⟩

Share

Metrics

Record views

123