DOI10.1007/978-3-662-54458-7_29zbMath1486.68033arXiv1801.00285MaRDI QIDQ2988388
Paula G.Severi
Publication date: 19 May 2017 Published in: Lecture Notes in Computer Science (Search for Journal in Brave) Full work available at URL: https://arxiv.org/abs/1801.00285
zbMATH Keywords
productivity; denotational semantics; typed lambda-calculus; type inference; infinite data
Mathematics Subject Classification ID
68N18: Functional programming and lambda calculus
03B40: Combinatory logic and lambda calculus