scientific article; zbMATH DE number 7393568

zbMath1471.68069arXiv1309.1258MaRDI QIDQ4957792

Yoshihiko Kakutani, Daisuke Kimura

Publication date: 9 September 2021

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Control categories and duality: on the categorical semantics of the lambda-mu calculus
• Call-by-Value Is Dual to Call-by-Name, Extended
• Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types
• Relational Parametricity and Control

This page was built for publication: