scientific article; zbMATH DE number 1788925

zbMATH Open1047.03502MaRDI QIDQ4548529FDOQ4548529

Authors: Ryo Kashima 

Publication date: 26 August 2002

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Cited In (1)

• Analytic proof systems for \(\lambda\)-calculus: the elimination of transitivity, and why it matters

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 Q4548529)