Logical Relations and Nondeterminism (Q5256338): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Abstract effects and proof-relevant logical relations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4649541 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4192046 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3912057 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relating Computational Effects by ⊤ ⊤-Lifting / 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: A Powerdomain Construction / rank
 
Normal rank
Property / cites work
 
Property / cites work: LCF considered as a programming language / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4281486 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Category-Theoretic Solution of Recursive Domain Equations / rank
 
Normal rank

Latest revision as of 07:14, 10 July 2024

scientific article; zbMATH DE number 6448705
Language Label Description Also known as
English
Logical Relations and Nondeterminism
scientific article; zbMATH DE number 6448705

    Statements

    Identifiers