scientific article

From MaRDI portal

Publication:3024821

Jump to:navigation, search

zbMath1063.03509MaRDI QIDQ3024821

Roberto Bellucci, Pierre-Louis Curien, Martín Abadi

Publication date: 4 July 2005

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)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3024821&oldid=16056883"