Types by need

DOI10.1007/978-3-030-17184-1_15zbMath1524.68067OpenAlexW2933535240MaRDI QIDQ6070792

Beniamino Accattoli, Giulio Guerrieri, Maico Leberle

Publication date: 24 November 2023

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-17184-1_15

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)

Related Items (4)

Quantitative weak linearisation ⋮ Unnamed Item ⋮ The bang calculus revisited ⋮ A Fresh Look at the λ-Calculus

This page was built for publication: Types by need