scientific article; zbMATH DE number 1231571

zbMath0911.68111MaRDI QIDQ4222890

Hongde Hu, André Joyal

Publication date: 20 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume6.htm#hu

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

zbMATH Keywords

free bicomplete categoriesGirard's coherence spaces

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Classical propositional logic (03B05)

Related Items (4)

The Duskin nerve of 2-categories in Joyal's cell category \(\Theta_2\) ⋮ A categorical characterization of strong Steiner \(\omega\)-categories ⋮ Towards Hilbert's 24th Problem: Combinatorial Proof Invariants ⋮ Feedback for linearly distributive categories: Traces and fixpoints

This page was built for publication: