scientific article

From MaRDI portal

Revision as of 21:36, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3024834

Jump to:navigation, search

zbMath1063.03513MaRDI QIDQ3024834

Publication date: 4 July 2005

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (8)

The naturality of natural deduction ⋮ On the power of simple diagrams ⋮ Categorical reconstruction of a reduction free normalization proof ⋮ Strong normalisation in the \(\pi\)-calculus ⋮ On modular properties of higher order extensional lambda calculi ⋮ A refined interpretation of intuitionistic logic by means of atomic polymorphism ⋮ Linearity and bisimulation ⋮ A Local Graph-rewriting System for Deciding Equality in Sum-product Theories

This page was built for publication:

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