Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types

DOI10.2168/LMCS-9(1:14)2013zbMath1280.03054arXiv1302.5765MaRDI QIDQ4913777

Daisuke Kimura, Makoto Tatsuta

Publication date: 9 April 2013

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

Curry-Howard isomorphismclassical logicinductive definitionsdual calculuscoinductive definitions

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Unnamed Item ⋮ Completeness and expressiveness of pointer program verification by separation logic

This page was built for publication: Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types