scientific article

zbMath1278.03065MaRDI QIDQ2871857

Ulrich Schöpp

Publication date: 10 January 2014

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066107002290?np=y

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

zbMATH Keywords

first-order logicmodel theorycategorical logichigher-order abstract syntax

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30) Classical first-order logic (03B10)

Related Items (3)

αCheck: A mechanized metatheory model checker ⋮ Cut elimination for a logic with induction and co-induction ⋮ A semantics for nabla

This page was built for publication: