Structures for structural recursion

DOI10.1145/2784731.2784762zbMath1360.68361OpenAlexW1971461250MaRDI QIDQ2981950

Paul Downen, Philip Johnson-Freyd, Zena M. Ariola

Publication date: 10 May 2017

Published in: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2784731.2784762

zbMATH Keywords

dualityrecursionsequent calculusstructuresinductionstrong normalizationclassical logiccoinduction

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Classical (co)recursion: Mechanics ⋮ Abstracting models of strong normalization for classical calculi

This page was built for publication: Structures for structural recursion