Q3677755 (Q3677755): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Import240304020342 (talk | contribs)
Set profile property.
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Latest revision as of 12:15, 5 March 2024

scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    0 references
    0 references
    1984
    0 references
    models of lambda calculus
    0 references
    effective domains
    0 references
    higher type computability
    0 references
    presheaves
    0 references
    numbered sets
    0 references
    Hereditary Partial Effective Functionals
    0 references
    partial morphisms
    0 references
    partial object
    0 references
    category of constructive domains
    0 references
    Relative numberings
    0 references
    models of Combinatory Logic
    0 references
    generalized integer type structure
    0 references
    Yoneda embeddings
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references