Q3336679 (Q3336679): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(4 intermediate revisions by 3 users not shown)
Property / author
 
Property / author: Klaus Indermark / rank
Normal rank
 
Property / author
 
Property / author: Klaus Indermark / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: Publication / rank
 
Normal rank
Property / cites work
 
Property / cites work: The lambda calculus, its syntax and semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4151140 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The IO- and OI-hierarchies / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4105238 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On rational definitions in complete algebras without rank / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3309044 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4766003 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4116078 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5665189 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4404457 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 12:53, 14 June 2024

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

    Statements

    1984
    0 references
    recursive definitions
    0 references
    functional calculi
    0 references
    Rational schemes
    0 references
    typed combinators
    0 references
    regular equations
    0 references
    higher type recursion
    0 references
    non-deterministic operational semantics
    0 references
    reduction semantics
    0 references
    denotational semantics
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers