A Lambda Calculus for Gödel–Dummett Logic Capturing Waitfreedom

DOI10.1007/978-3-642-29822-6_14zbMath1354.03009OpenAlexW1778705331WikidataQ130870009 ScholiaQ130870009MaRDI QIDQ2900262

Yoichi Hirai

Publication date: 20 July 2012

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29822-6_14

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (2)

On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC ⋮ On the concurrent computational content of intermediate logics

This page was built for publication: A Lambda Calculus for Gödel–Dummett Logic Capturing Waitfreedom