Mathematical Foundations of Computer Science 2003

DOI10.1007/b11836zbMath1124.03315OpenAlexW2495578842MaRDI QIDQ5431316

Antonio Bucciarelli, Antonino Salibra

Publication date: 7 December 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b11836

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (3)

Graph easy sets of mute lambda terms ⋮ Easiness in graph models ⋮ Residuated structures and orthomodular lattices

This page was built for publication: Mathematical Foundations of Computer Science 2003