Publication:4993353
From MaRDI portal
DOI10.4230/LIPIcs.FSCD.2018.23zbMath1462.68023arXiv1804.06687MaRDI QIDQ4993353
Rasmus Ejlers Møgelberg, Bassel Mannaa
Publication date: 15 June 2021
Full work available at URL: https://arxiv.org/abs/1804.06687
68N18: Functional programming and lambda calculus
68Q55: Semantics in the theory of computing
18C50: Categorical semantics of formal languages
03B38: Type theory
Uses Software