Publication:4603450
From MaRDI portal
DOI10.23638/LMCS-14(1:11)2018zbMath1398.68080arXiv1710.09469MaRDI QIDQ4603450
Dariusz Biernacki, Piotr Polesiuk
Publication date: 20 February 2018
Full work available at URL: https://arxiv.org/abs/1710.09469
68N15: Theory of programming languages
68N18: Functional programming and lambda calculus
03B70: Logic in computer science
68Q55: Semantics in the theory of computing
Uses Software