scientific article
From MaRDI portal
Publication:3093861
zbMath1243.03074MaRDI QIDQ3093861
Publication date: 19 October 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Fibered categories (18D30) Categorical semantics of formal languages (18C50) Functionals in proof theory (03F10) Metamathematics of constructive systems (03F50) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items (6)
The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions ⋮ AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS ⋮ Dialectica principles via Gödel doctrines ⋮ A characterization of generalized existential completions ⋮ Unnamed Item ⋮ Monoidal-closed categories of tree automata
This page was built for publication:
