Iterator Types

DOI10.1007/978-3-540-71389-0_3zbMath1195.03020OpenAlexW2914824611MaRDI QIDQ5758046

Ian Mackie, Mário Florido, Sandra Alves, Maribel Fernández

Publication date: 7 September 2007

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71389-0_3

Mathematics Subject Classification ID

Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Linearity and iterator types for Gödel's system \(\mathcal T\) ⋮ Minimality in a Linear Calculus with Iteration

This page was built for publication: Iterator Types