Parametric parameter passing \(\lambda\)-calculus (Q1887148): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Import241208061232 (talk | contribs)
Normalize DOI.
 
(4 intermediate revisions by 4 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.ic.2003.08.003 / rank
Normal rank
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.ic.2003.08.003 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2153121732 / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q57722201 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Full abstraction in the lazy lambda calculus / 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: A CUCH-machine: The automatic treatment of bound variables / rank
 
Normal rank
Property / cites work
 
Property / cites work: The duality of computation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5565113 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4850465 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4018065 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4722037 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3024839 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3918095 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Mechanical Evaluation of Expressions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Call-by-value Solvability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2778806 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Call-by-name, call-by-value and the \(\lambda\)-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: The call-by-value λ-calculus: a semantic investigation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Parallel reductions in \(\lambda\)-calculus / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.IC.2003.08.003 / rank
 
Normal rank

Latest revision as of 11:43, 16 December 2024

scientific article
Language Label Description Also known as
English
Parametric parameter passing \(\lambda\)-calculus
scientific article

    Statements

    Parametric parameter passing \(\lambda\)-calculus (English)
    0 references
    23 November 2004
    0 references
    \(\lambda\)-Calculus
    0 references
    Confluence
    0 references
    Standardization
    0 references

    Identifiers