Reminiscences of Christopher Strachey

No abstract is available for this paper.

• Publication year

  2000

• Venue

  High. Order Symb. Comput.

• Publication date

  2000-04-01

• Fields of study

  Mathematics, Philosophy, Computer Science

• Identifiers
  DOI 10.1023/A:1010062026735
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• The calculi of lambda-conversion

  1941cited by this paper

• Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context

  2018cites this paper
• On Attempting to Model the Mathematical Mind

  2016cites this paper
• The QR algorithm: 50 years later its genesis by John Francis and Vera Kublanovskaya and subsequent developments

  2009cites this paper