scientific article

zbMath0971.03019MaRDI QIDQ2708317

Sabine Broda, Luís Damas

Publication date: 23 October 2001

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

zbMATH Keywords

algorithmtype theorycounting inhabitants

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items

Unnamed Item ⋮ Studying provability in implicational intuitionistic logic