Completeness of continuation models for \(\lambda_\mu\)-calculus (Q2506496): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4218109 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A syntactic theory of sequential control / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4261086 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sound and complete axiomatisations of call-by-value control operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classical logic, storage operators and second-order lambda-calculus / 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: Classical logic, continuation semantics and abstract machines / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: From control effects to typed continuation passing / rank | |||
Normal rank |
Latest revision as of 21:30, 24 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Completeness of continuation models for \(\lambda_\mu\)-calculus |
scientific article |
Statements
Completeness of continuation models for \(\lambda_\mu\)-calculus (English)
0 references
10 October 2006
0 references