On systems of definitions, induction and recursion

DOI10.1007/BF01995107zbMath0786.03028OpenAlexW2041590892MaRDI QIDQ688731

Lars Hallnäs

Publication date: 5 May 1994

Published in: BIT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01995107

zbMATH Keywords

sequent calculusnatural deductionCurry-Howard isomorphismprimitive recursion

Mathematics Subject Classification ID

Inductive definability (03D70)

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: On systems of definitions, induction and recursion