scientific article; zbMATH DE number 139605

zbMATH Open0761.68059MaRDI QIDQ4029583FDOQ4029583

Authors: Andrea Asperti, Giuseppe Longo 

Publication date: 28 March 1993

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

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

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)

Cited In (5)

• Thickness, and a categoric view of type-space functors
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)

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)