scientific article; zbMATH DE number 799583

From MaRDI portal

Publication:4847803

Jump to:navigation, search

zbMath0828.03005MaRDI QIDQ4847803

Şeref Mirasyedioğlu

Publication date: 18 December 1995

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

zbMATH Keywords

algorithm \(\lambda\)-calculus Prolog recursive functions lambda-Boolean expressions list processing functions with recursion

Mathematics Subject Classification ID

Logic programming (68N17) Combinatory logic and lambda calculus (03B40)

Related Items (1)

An interpreter for the Boolean derivative

This page was built for publication:

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