scientific article; zbMATH DE number 2080223

zbMath1044.03008MaRDI QIDQ4472466

Michel Parigot

Publication date: 4 August 2004

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Classical Logic with Mendler Induction ⋮ Investigations on the dual calculus ⋮ Dual Calculus with Inductive and Coinductive Types

This page was built for publication: