Parallel beta reduction is not elementary recursive

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

Volumn , Issue , 1998, Pages 303-315

  Asperti, Andrea ^a   Mairson, Harry G ^a  

^a Dipartimento di Scienze Economiche   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BOUNDARY CONDITIONS; COMPUTATIONAL COMPLEXITY; COMPUTER SYSTEMS PROGRAMMING; DIFFERENTIATION (CALCULUS); GRAPH THEORY; PARALLEL PROCESSING SYSTEMS; POLYNOMIALS;

HIGHER ORDER SHARING; LEVY'S NOTIONS; PARALLEL BETA REDUCTIONS; STATMAN'S THEOREM;

THEOREM PROVING;

EID: 0031678965     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/268946.268971     Document Type: Conference Paper

References (28)