scientific article; zbMATH DE number 7441506

zbMATH Open1476.68053MaRDI QIDQ5015103

Lali Tibua, B. Dundua, Mikheil Rukhaia

Publication date: 8 December 2021

Full work available at URL: http://www.viam.science.tsu.ge/Ami/2020_2/9_beso.pdf

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

Mathematics Subject Classification ID

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

Related Items (1)

A typed pattern calculus

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