scientific article

From MaRDI portal

Publication:3567777

Jump to:navigation, search

zbMATH Open1195.03021MaRDI QIDQ3567777

Vladimir Ivanovich Shalak

Publication date: 17 June 2010

Title of this publication is not available (Why is that?)

zbMATH Keywords

combinatory logic logic of definitional deduction type-free languages

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (2)

Title not available (Why is that?) ⋮ Definable deduction relation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3567777)

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