LIGHT AFFINE LOGIC AS A PROGRAMMING LANGUAGE: A FIRST CONTRIBUTION

DOI10.1142/S0129054100000077zbMath1320.03064MaRDI QIDQ5249032

Luca Roversi

Publication date: 29 April 2015

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

zbMATH Keywords

functional programming languages; automatic type inference; light affine logic; P-TIME computations

Mathematics Subject Classification ID

68N15: Theory of programming languages

68N18: Functional programming and lambda calculus

03B70: Logic in computer science

03F52: Proof-theoretic aspects of linear logic and other substructural logics

Related Items

Light affine lambda calculus and polynomial time strong normalization