scientific article

From MaRDI portal

Publication:2729668

Jump to:navigation, search

zbMath0981.03017MaRDI QIDQ2729668

Antonino Salibra

Publication date: 11 March 2002

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

zbMATH Keywords

lambda calculus commutator modularity lambda abstraction algebras combinatory algebras lattice of lambda theories

Mathematics Subject Classification ID

Congruence modularity, congruence distributivity (08B10) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Easiness in graph models ⋮ Towards Lambda Calculus Order-Incompleteness ⋮ Unnamed Item

This page was built for publication:

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