Publication:3024821

From MaRDI portal

Jump to:navigation, search

zbMath1063.03509MaRDI QIDQ3024821

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

Publication date: 4 July 2005

Mathematics Subject Classification ID

68N18: Functional programming and lambda calculus

03B40: Combinatory logic and lambda calculus

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