scientific article; zbMATH DE number 980656

zbMATH Open0862.18006MaRDI QIDQ4333486FDOQ4333486

Authors: Fernando Zalamea 

Publication date: 20 February 1997

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

Recommendations

• scientific article; zbMATH DE number 3901002
• A categorial approach to the theory of computation
• Aspects of categorical recursion theory
• scientific article; zbMATH DE number 4195927
• An existence theorem for recursion categories

zbMATH Keywords

residualsenumerationparametrizationcombinatory logicfixed pointsrealizabilitytopoirecursion theoryintuitionismcartesian categoriesnatural number objectssheafsFreyd's allegories

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 (5)

• Ultradiophantine Categories
• Categorical comprehensions and recursion
• A categorial approach to the theory of computation
• Title not available (Why is that?)
• 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 Q4333486)