Communicating contexts: A pragmatic approach to information exchange

DOI10.1007/3-540-60579-7_1zbMath1530.03055MaRDI QIDQ6083892

René M. C. Ahn

Publication date: 8 December 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Logic in computer science (03B70) Type theory (03B38)

Cites Work

• Combinatory logic. With two sections by William Craig.
• Theoretical Pearls:Representing ‘undefined’ in lambda calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Communicating contexts: A pragmatic approach to information exchange