scientific article
From MaRDI portal
Publication:3024843
zbMath1063.03519MaRDI QIDQ3024843
Masako Takahashi, Toshihiko Kurata
Publication date: 4 July 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Combinatory logic and lambda calculus (03B40)
Related Items
Finite Combinatory Logic with Intersection Types ⋮ Unnamed Item ⋮ Inhabitation of Low-Rank Intersection Types ⋮ Taming the Merge Operator