scientific article
From MaRDI portal
Publication:2847361
zbMath1273.18004MaRDI QIDQ2847361
Publication date: 4 September 2013
Full work available at URL: http://www.emis.de/journals/TAC/volumes/28/9/28-09abs.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Functoriality of modified realizability ⋮ Internal Partial Combinatory Algebras and their Slices ⋮ On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes ⋮ Effective operations of type 2 in PCAs ⋮ Third-order functionals on partial combinatory algebras
This page was built for publication:
