Duality of computation

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2000, Pages 233-243

  Curien, Pierre Louis ^a   Herbelin, Hugo ^a  

^a UNIVERSITÉ PARIS DESCARTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; PROGRAM TRANSLATORS;

CALCULUS;

COMPUTATION THEORY;

EID: 0034542618     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/351240.351262     Document Type: Conference Paper

References (24)