scientific article; zbMATH DE number 1948183

zbMath1021.03016MaRDI QIDQ4411844

Yoshihiko Kakutani

Publication date: 10 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2471/24710506.htm

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)

Related Items (5)

Unnamed Item ⋮ Call-by-Value Is Dual to Call-by-Name, Extended ⋮ Iteration and labelled iteration ⋮ Classical natural deduction for S4 modal logic ⋮ Dual Calculus with Inductive and Coinductive Types

This page was built for publication: