The duality of construction

Paul Downen 1, 2 Zena Ariola 1, 3
1 PI.R2 - Design, study and implementation of languages for proofs and programs
PPS - Preuves, Programmes et Systèmes, Inria Paris-Rocquencourt, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique : UMR7126
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00938317
Contributor : Yves Guiraud <>
Submitted on : Wednesday, January 29, 2014 - 11:55:33 AM
Last modification on : Friday, January 4, 2019 - 5:33:25 PM

Identifiers

  • HAL Id : hal-00938317, version 1

Collections

Citation

Paul Downen, Zena Ariola. The duality of construction. ESOP 2014 : European Symposium on Programming, Apr 2014, Grenoble, France. 15 p., 2014. 〈hal-00938317〉

Share

Metrics

Record views

203