scientific article; zbMATH DE number 4181330

MaRDI QIDQ3204459zbMATH OpenFDO

Authors Edmund P. Robinson

Publication date 1989

zbMATH Keywords

category of partial equivalence relations on the natural numberscomplete categoriescompletenesshigher-order type theoryPER

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35)

Recommendations

• scientific article; zbMATH DE number 1670474
• Extensional PERs
• Polynat in PER models
• Building domains from graph models
• scientific article; zbMATH DE number 4103058

Cited in

(9)

• Extensional PERs
• Parametricity as isomorphism
• On completeness and cocompleteness in and around small categories
• scientific article; zbMATH DE number 1670474 (Why is no real title available?)
• scientific article; zbMATH DE number 4154448 (Why is no real title available?)
• scientific article; zbMATH DE number 4103058 (Why is no real title available?)
• An exper model for Quest
• A note on ``Extensional PERs
• Functorial polymorphism

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 Q3204459)