scientific article; zbMATH DE number 139605

MaRDI QIDQ4029583zbMATH OpenFDO

Authors Andrea Asperti, Giuseppe Longo

Publication date 28 March 1993

zbMATH Keywords

typed \(\lambda\)-calculuscomplete objects\(PER_ \omega\)categories withpartial morphismspartial computationspartial retraction systems

Mathematics Subject Classification ID

Categories of sets, characterizations (18B05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Publication:3026332
• scientific article; zbMATH DE number 4021100
• Types, abstraction, and parametric polymorphism, part 2
• scientific article; zbMATH DE number 3898875
• scientific article; zbMATH DE number 4027428

Cited in

(5)

• scientific article; zbMATH DE number 4014020 (Why is no real title available?)
• scientific article; zbMATH DE number 2070556 (Why is no real title available?)
• Thickness, and a categoric view of type-space functors
• A category-theoretic characterization of functional completeness
• On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category 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 Q4029583)