Programming Theory Articles

Page 1 of 1 (2 articles)

10/8/2018 • EN

Programming as interaction: A new perspective for programming language research

Argues for shifting programming language research focus from finished programs to the interactive process of programming itself.

human-computer interaction programming languages Programming Theory Research software development

Tomas Petricek

5/22/2018 • EN

Would aliens understand lambda calculus?

Explores whether mathematical concepts like lambda calculus are human inventions or universal truths, using philosophy of mathematics to frame the question.

computer science Formal Systems Lambda Calculus Philosophy Of Mathematics Programming Theory

Tomas Petricek

Programming Theory Articles

Programming as interaction: A new perspective for programming language research

Would aliens understand lambda calculus?

Select Language