scientific article
From MaRDI portal
Publication:3491030
zbMath0708.68090MaRDI QIDQ3491030
No author found.
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Artificial intelligence (68T99) Logic programming (68N17) Combinatory logic and lambda calculus (03B40)
Related Items
Twenty years of rewriting logic ⋮ Unnamed Item ⋮ Optimized encodings of fragments of type theory in first order logic ⋮ Subformula linking for intuitionistic logic with application to type theory ⋮ Implementing type theory in higher order constraint logic programming ⋮ Mechanized metatheory revisited ⋮ Proof-search in type-theoretic languages: An introduction