scientific article; zbMATH DE number 1841819

zbMATH Open0999.03059MaRDI QIDQ4783307FDOQ4783307

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (9)

• Categorical simulations
• More exact completions that are toposes
• Title not available (Why is that?)
• Introduction to Turing categories
• Title not available (Why is that?)
• Process realizability
• Realizability: a historical essay
• Characterizing partitioned assemblies and realizability toposes
• 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)