Some philosophical issues concerning theories of combinators

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 37 LNCS, Issue , 1975, Pages 346-366

  Scott, Dana ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL MECHANICS; DIFFERENTIATION (CALCULUS); PHILOSOPHICAL ASPECTS;

COMBINATORS; LAMBDA CALCULUS;

CALCULATIONS;

EID: 84932544968     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0029537     Document Type: Conference Paper

References (0)