Curry-Howard foundation for functional computation with control

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1997, Pages 215-227

  Ong, C H L ^a   Stewart, C A ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; EQUIVALENCE CLASSES; FORMAL LOGIC;

CALL BY VALUE PROGRAMMING LANGUAGE; CURRY-HOWARD FOUNDATION; FUNCTIONAL COMPUTATION WITH CONTROL;

COMPUTATION THEORY;

EID: 0030704416     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (43)