scientific article; zbMATH DE number 733165

From MaRDI portal

Publication:4325622

Jump to:navigation, search

zbMath0812.03009MaRDI QIDQ4325622

Silvia Gilezan

Publication date: 18 May 1995

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

zbMATH Keywords

expressive power typed \(\lambda\)-calculus combinatory completeness typed theory of combinators

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

This page was built for publication:

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