scientific article; zbMATH DE number 2154396

zbMath1063.68031MaRDI QIDQ4664922

Michael Franssen

Publication date: 9 April 2005

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

zbMATH Keywords

typed \(\lambda\)-calculus

Mathematics Subject Classification ID

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

This page was built for publication: