scientific article; zbMATH DE number 1324444
From MaRDI portal
Publication:4255516
zbMath0925.68100MaRDI QIDQ4255516
Publication date: 16 August 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Logic programming (68N17) Combinatory logic and lambda calculus (03B40)
Related Items (2)
Kripke semantics for higher-order type theory applied to constraint logic programming languages ⋮ Abstract deduction and inferential models for type theory
Uses Software
This page was built for publication:
