scientific article; zbMATH DE number 4114627

zbMath0681.03044MaRDI QIDQ4729784

Andreas Blass

Publication date: 1988

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

zbMATH Keywords

type theoryPrologHoare logicGrothendieck topoigeometric logichigher-order intuitionistic logicexistential fixed-point logicelementary topoi

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Topoi (18B25)

Related Items (3)

Functional Thesauri, Classifying Topoi, Unification, and Flatness ⋮ Existential Fixed-Point Logic, Universal Quantifiers, and Topoi ⋮ One Useful Logic That Defines Its Own Truth

This page was built for publication: