scientific article; zbMATH DE number 1305942

From MaRDI portal

Publication:4252649

Jump to:navigation, search

zbMath0925.03097MaRDI QIDQ4252649

Publication date: 8 November 1999

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

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Reduction rules for intuitionistic \(\lambda\rho\)-calculus

This page was built for publication:

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