Semantics of Typed Lambda-Calculus with Constructors
From MaRDI portal
Publication:3003303
DOI10.2168/LMCS-7(1:2)2011zbMath1218.03019arXiv1009.3429OpenAlexW4205386752MaRDI QIDQ3003303
Publication date: 26 May 2011
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1009.3429
Related Items (4)
Continuation Models for the Lambda Calculus With Constructors ⋮ Typed path polymorphism ⋮ Type soundness for path polymorphism ⋮ Functional pearl: the distributive \(\lambda\)-calculus
Uses Software
This page was built for publication: Semantics of Typed Lambda-Calculus with Constructors