Two Applications of Logic Programming to Coq - Archive ouverte HAL Access content directly
Conference Papers Year : 2020
No file

Dates and versions

hal-03457352 , version 1 (30-11-2021)

Identifiers

  • HAL Id : hal-03457352 , version 1

Cite

Matteo Manighetti, Dale Miller, Alberto Momigliano. Two Applications of Logic Programming to Coq. 26th International Conference on Types for Proofs and Programs (TYPES 2020), Mar 2020, Turin, Italy. ⟨hal-03457352⟩
18 View
0 Download

Share

Gmail Facebook X LinkedIn More