scientific article; zbMATH DE number 512777

zbMath0788.68017MaRDI QIDQ4281470

Gilles Dowek

Publication date: 9 June 1994

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

zbMATH Keywords

\(\lambda\)-calculustype inference algorithm\(\lambda\)-Prologprogramming language ELF

Mathematics Subject Classification ID

Theory of programming languages (68N15) Decidability of theories and sets of sentences (03B25) Logic programming (68N17) Combinatory logic and lambda calculus (03B40)

Related Items

Comparing cubes of typed and type assignment systems ⋮ Introduction to Type Theory ⋮ Elf: A meta-language for deductive systems ⋮ \texttt{slepice}: towards a verified implementation of type theory in type theory