scientific article; zbMATH DE number 2038177

From MaRDI portal

Publication:4449007

Jump to:navigation, search

zbMath1034.03011MaRDI QIDQ4449007

Sachio Hirokawa, Kensuke Baba, Yukiyoshi Kameyama

Publication date: 12 February 2004

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

zbMATH Keywords

programming lambda calculus combinators reduction rules double-negation-elimination rule elimination rule of falsehood Peirce formula

Mathematics Subject Classification ID

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

Related Items (1)

This page was built for publication:

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