scientific article; zbMATH DE number 1841819
From MaRDI portal
Publication:4783307
zbMath0999.03059MaRDI QIDQ4783307
Edmund P. Robinson, Giuseppe Rosolini
Publication date: 4 December 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2142/21420173
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Topoi (18B25) Combinatory logic and lambda calculus (03B40) Abstract and axiomatic computability and recursion theory (03D75)
Related Items (5)
Characterizing partitioned assemblies and realizability toposes ⋮ Categorical simulations ⋮ Introduction to Turing categories ⋮ Aspects of Categorical Recursion Theory ⋮ More exact completions that are toposes
This page was built for publication:
