scientific article
From MaRDI portal
Publication:4012881
zbMath0754.03019MaRDI QIDQ4012881
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
specification languageslogical frameworkLF\(\lambda\)-calculus with dependent typesfragment of intuitionistic logic with quantification over typeshereditarily Harrop formulas
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)
Related Items (2)
A linear logical framework ⋮ Implementing tactics and tacticals in a higher-order logic programming language
This page was built for publication:
