An elementary fragment of second-order lambda calculus

DOI10.1145/1055686.1055695zbMath1367.03027arXivcs/0210022OpenAlexW1984066424MaRDI QIDQ5277728

Klaus Aehlig, Jan Johannsen

Publication date: 12 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/cs/0210022

zbMATH Keywords

complexitysecond-order logiclambda calculuselementary recursive functions

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

Induction and inductive definitions in fragments of second order arithmetic

This page was built for publication: An elementary fragment of second-order lambda calculus