Information retrieval in a Coq proof library using type isomorphisms

Acte de colloque

Avec comité de lecture

Lecture notes in computer science, Vol.1956, pp.131-147

TYPES'99 : types for proofs and programs (Lökeberg, 12-16 June 1999, selected papers)

2000

Résumé

Applied sciences

Exact sciences and technology

Game theory

Operational research and scientific management

Operational research. Management science

1 Consultations de la notice

Titre: Information retrieval in a Coq proof library using type isomorphisms
Créateurs - sans rôle: David Delahaye - Project Coq, INRIA-Rocquencourt, France
Détails de publication: Lecture notes in computer science, Vol.1956, pp.131-147
Colloque: TYPES'99 : types for proofs and programs (Lökeberg, 12-16 June 1999, selected papers)
Éditeur: Springer
Nombre de pages: 17
Identifiants: 99156805909311
Unité académique: Laboratoire d'Informatique de Robotique et de Microélectronique de Mtp - LIRMM
Langue: English
Type de ressource: Conference proceeding