A Logical Foundation for Environment Classifiers
From MaRDI portal
Publication:5894005
DOI10.2168/LMCS-6(4:8)2010zbMath1211.68065MaRDI QIDQ5894005
Takeshi Tsukada, Atsushi Igarashi
Publication date: 20 December 2010
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
03B45: Modal logic (including the logic of norms)
68N18: Functional programming and lambda calculus
03B40: Combinatory logic and lambda calculus
Related Items
Unnamed Item, Reasoning about multi-stage programs, Constructive linear-time temporal logic: proof systems and Kripke semantics