Unfixing the Fixpoint: The Theories of the λY-Calculus (Q4922079): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/978-3-642-38164-5_11 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W99014182 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Full abstraction for PCF / 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: Q4783324 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3206926 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The lambda calculus. Its syntax and semantics. Rev. ed. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5287508 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4457450 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4099541 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4263866 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Categories of Coalgebraic Games with Selective Sum / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the completeness of order-theoretic models of the \(\lambda \)-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4457459 / rank
 
Normal rank

Latest revision as of 10:53, 6 July 2024

scientific article; zbMATH DE number 6167571
Language Label Description Also known as
English
Unfixing the Fixpoint: The Theories of the λY-Calculus
scientific article; zbMATH DE number 6167571

    Statements

    Identifiers