scientific article; zbMATH DE number 1841819

MaRDI QIDQ4783307zbMATH OpenFDO

Authors 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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Categorical logic, topoi (03G30) Topoi (18B25) Abstract and axiomatic computability and recursion theory (03D75)

Recommendations

• scientific article; zbMATH DE number 1497733
• Sheaf toposes for realizability
• Combinatorial realizability models of type theory
• A General Notion of Realizability
• All realizability is relative

Cited in

(9)

• Categorical simulations
• More exact completions that are toposes
• scientific article; zbMATH DE number 3887527 (Why is no real title available?)
• Introduction to Turing categories
• scientific article; zbMATH DE number 1215498 (Why is no real title available?)
• Process realizability
• Characterizing partitioned assemblies and realizability toposes
• Realizability: a historical essay
• Aspects of categorical recursion theory

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4783307)