On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus

Open Webpage

Naoki Kobayashi

Published: 01 Jan 2025, Last Modified: 13 May 2025Proc. ACM Program. Lang. 2025EveryoneRevisionsBibTeXCC BY-SA 4.0