Triple

Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).

Phrase: "A Correspondence between ALGOL 60 and Church’s Lambda-notation" | Statement: [Peter Landin, notableWork, "A Correspondence between ALGOL 60 and Church’s Lambda-notation"]

Target entity: "A Correspondence between ALGOL 60 and Church’s Lambda-notation"
Context triple: [Peter Landin, notableWork, "A Correspondence between ALGOL 60 and Church’s Lambda-notation"]

• A. Landin’s SECD machine
  Landin’s SECD machine is an early abstract machine for functional programming languages that introduced a systematic model for evaluating expressions using a stack, environment, control, and dump.
• B. An Axiomatic Basis for Computer Programming
  "An Axiomatic Basis for Computer Programming" is a seminal 1969 paper by C.A.R. Hoare that introduced the formal logical system now known as Hoare logic for reasoning about program correctness.
• C. Scheme: An Interpreter for Extended Lambda Calculus
  "Scheme: An Interpreter for Extended Lambda Calculus" is the seminal 1975 technical report by Gerald Jay Sussman and Guy L. Steele Jr. that introduced the Scheme programming language and demonstrated the power of lexical scoping and first-class procedures in a minimalist Lisp dialect.
• D. ALGOL 60
  ALGOL 60 is an early high-level programming language that pioneered block structure and lexical scoping, profoundly influencing the design of many later languages.
• E. Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs
  "Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs" is a landmark 1977 paper that introduced and advocated for functional programming as an alternative to traditional von Neumann architectures, laying theoretical foundations for modern functional languages.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"

Entity: "A Correspondence between ALGOL 60 and Church’s Lambda-notation"
Triple: [Peter Landin, notableWork, "A Correspondence between ALGOL 60 and Church’s Lambda-notation"]

"A Correspondence between ALGOL 60 and Church’s Lambda-notation" is a seminal paper by Peter Landin that introduced the use of lambda calculus to formally describe and reason about the semantics of the ALGOL 60 programming language, helping to found the field of denotational semantics.

Target entity: "A Correspondence between ALGOL 60 and Church’s Lambda-notation"
Target entity description: "A Correspondence between ALGOL 60 and Church’s Lambda-notation" is a seminal paper by Peter Landin that introduced the use of lambda calculus to formally describe and reason about the semantics of the ALGOL 60 programming language, helping to found the field of denotational semantics.

• A. Landin’s SECD machine
  Landin’s SECD machine is an early abstract machine for functional programming languages that introduced a systematic model for evaluating expressions using a stack, environment, control, and dump.
• B. An Axiomatic Basis for Computer Programming
  "An Axiomatic Basis for Computer Programming" is a seminal 1969 paper by C.A.R. Hoare that introduced the formal logical system now known as Hoare logic for reasoning about program correctness.
• C. Scheme: An Interpreter for Extended Lambda Calculus
  "Scheme: An Interpreter for Extended Lambda Calculus" is the seminal 1975 technical report by Gerald Jay Sussman and Guy L. Steele Jr. that introduced the Scheme programming language and demonstrated the power of lexical scoping and first-class procedures in a minimalist Lisp dialect.
• D. ALGOL 60
  ALGOL 60 is an early high-level programming language that pioneered block structure and lexical scoping, profoundly influencing the design of many later languages.
• E. Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs
  "Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs" is a landmark 1977 paper that introduced and advocated for functional programming as an alternative to traditional von Neumann architectures, laying theoretical foundations for modern functional languages.
• F. None of above. chosen