works on
combinatory logic 1modal lambda calculus 1semantic conservation 1simply-typed lambda calculus 1type theory 1

From the 1 of 8 papers with an AI index.

most citedSimply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic

1 citations

researchers with a paper here
collaborating institutions
Showing physics.bio-phShow all

1 paper · 1 filter

physics.bio-ph2026★ 1 cited

Decision-making in light-trapped slime molds involves active mechanical processes

Lisa Schick, Emily Eichenlaub, Fabian Drexel +4

Decision-making is the process of selecting an action among alternatives, allowing biological and artificial systems to navigate complex environments and optimize behavior. While n…