scientific article
From MaRDI portal
Publication:4029583
zbMath0761.68059MaRDI QIDQ4029583
Publication date: 28 March 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
typed \(\lambda\)-calculuscomplete objects\(PER_ \omega\)categories withpartial morphismspartial computationspartial retraction systems
Specification and verification (program logics, model checking, etc.) (68Q60) Categories of sets, characterizations (18B05)
Related Items (2)
On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory ⋮ A category-theoretic characterization of functional completeness
This page was built for publication:
