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

zbMATH Open1471.68069arXiv1309.1258MaRDI QIDQ4957792FDOQ4957792

Authors: Yoshihiko Kakutani, Daisuke Kimura 

Publication date: 9 September 2021

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

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

Mathematics Subject Classification ID

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

Cites Work

• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Control categories and duality: On the categorical semantics of the lambda-mu calculus
• Relational Parametricity and Control
• Title not available (Why is that?)
• Title not available (Why is that?)
• Call-by-value and call-by-name dual calculi with inductive and coinductive types
• Call-by-Value Is Dual to Call-by-Name, Extended

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)