A non-deterministic call-by-need lambda calculus (Q5348907): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q1110492
Property / author
 
Property / author: Manfred Schmidt-Schauss / rank
Normal rank
 

Revision as of 06:04, 22 February 2024

scientific article; zbMATH DE number 6763150
Language Label Description Also known as
English
A non-deterministic call-by-need lambda calculus
scientific article; zbMATH DE number 6763150

    Statements

    Identifiers