THEORETICAL PEARL Church numerals, twice!

DOI10.1017/S0956796804005313zbMath1063.68032MaRDI QIDQ4664058

Ralf Hinze

Publication date: 5 April 2005

Published in: Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

polymorphic \(\lambda\)-calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (2)

Efficiency of lambda-encodings in total type theory ⋮ Programming in the λ-Calculus: From Church to Scott and Back

This page was built for publication: THEORETICAL PEARL Church numerals, twice!