Linear Sized Types in the Calculus of Constructions

DOI10.1007/978-3-319-07151-0_11zbMath1416.68046OpenAlexW49020731MaRDI QIDQ5170709

Jorge Luis Sacchini

Publication date: 24 July 2014

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-07151-0_11

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 (1)

Is sized typing for Coq practical?

This page was built for publication: Linear Sized Types in the Calculus of Constructions