A light modality for recursion

MaRDI QIDQ6829143zbMATH OpenFDO

Authors Paula Severi

Publication date 25 February 2019

Published in Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

denotational semanticsinfinite dataproductivitytype inferencetyped lambda-calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

This page was built for publication: A light modality for recursion

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6829143)