A Logical Foundation for Environment Classifiers
From MaRDI portal
Publication:5894005
DOI10.2168/LMCS-6(4:8)2010zbMath1211.68065MaRDI QIDQ5894005
Atsushi Igarashi, Takeshi Tsukada
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