Induction by coinduction and control operators in call-by-name

MaRDI QIDQ4957792zbMATH OpenFDO

Authors Yoshihiko Kakutani, Daisuke Kimura

Publication date 9 September 2021

Full work available at URL https://arxiv.org/abs/1309.1258, http://eptcs.web.cse.unsw.edu.au/paper.cgi?COS2013.7

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Call-by-value and call-by-name dual calculi with inductive and coinductive types
• scientific article; zbMATH DE number 2003163
• Inductive, coinductive, and pointed types
• A co-induction principle for recursively defined domains
• A fixedpoint approach to implementing (co)inductive definitions

Cites work

• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Call-by-value and call-by-name dual calculi with inductive and coinductive types
• Call-by-Value Is Dual to Call-by-Name, Extended
• Control categories and duality: On the categorical semantics of the lambda-mu calculus
• scientific article; zbMATH DE number 1722645 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 1324438 (Why is no real title available?)
• scientific article; zbMATH DE number 1948183 (Why is no real title available?)
• Relational Parametricity and Control

Cited in

(1)

• Structures for structural recursion

This page was built for publication: Induction by coinduction and control operators in call-by-name

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4957792)