scientific article

From MaRDI portal

Publication:2766791

Jump to:navigation, search

zbMath0988.68042MaRDI QIDQ2766791

Atsushi Ohori

Publication date: 22 July 2002

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

Mathematics Subject Classification ID

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

Related Items (1)

Strong normalization of classical natural deduction with disjunctions

This page was built for publication:

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