Beyond Lambda-Calculus: Intensional Computation • Barry Jay • YOW! 2017

From the creator

This presentation was recorded at YOW! 2017. #GOTOcon #YOW https://yowcon.com Associate Professor Barry Jay - Member of the School of Software & the Centre for Artificial Intelligence at the University of Technology, Sydney RESOURCES https://bsky.app/profile/barryjay.bsky.social https://github.com/barry-jay-personal https://www.linkedin.com/in/barry-jay-a45a96184 https://x.com/Jay59009444 ABSTRACT There is a paradox in the foundations of computing. On the one hand, lambda calculus is supposed to compute anything that can be computed. On the other hand, many intensional computations, such as deciding equality of programs (terms in closed normal form), are not definable within lambda calculus. The paradox has now been resolved by close reading of the original papers and books, which clarifies that lambda calculus is inherently extensional. More importantly, there are new, intensional calculi which are more expressive than lambda calculus. First, pattern calculus supports both higher-order functions and generic queries of data structures, by basing all computation on pattern matching. Second, SF-calculus can query programs as well as data structures by factoring them, using the operator F. In particular, the Goedel number of a program can be defined within the calculus itself.Third, lambda-SF calculus adds native support for lambda-abstraction to SF-calculus. Other calculi are currently under development. Pattern calculus has been realised in the programming language, bondi

Published 2025-01-04 · Watch on YouTube ↗
Availability and playback restrictions are controlled by the original channel.