The following pages link to Dana S. Scott (Q1314362):
Displaying 50 items.
- (Q1213477) (redirect page) (← links)
- (Q1566878) (redirect page) (← links)
- An algebraic correspondence with applications to projective bundles and blowing up Chern classes (Q1213478) (← links)
- A type-theoretical alternative to ISWIM, CUCH, OWHY (Q1314363) (← links)
- Some reflections on Strachey and his work (Q1566879) (← links)
- Equilogical spaces (Q1826625) (← links)
- Stochastic \(\lambda\)-calculi: an extended abstract (Q2250553) (← links)
- Cartesian closed categories of separable Scott domains (Q2253174) (← links)
- A calculus of regions respecting both measure and topology (Q2281314) (← links)
- Automating free logic in HOL, with an experimental application in category theory (Q2303232) (← links)
- Measurement structures and linear inequalities (Q2394875) (← links)
- Some definitional suggestions for automata theory (Q2529464) (← links)
- Labor market trends and unemployment insurance generosity during the pandemic (Q2659956) (← links)
- Remembering Klaus Peters (Q2813099) (← links)
- Automating Free Logic in Isabelle/HOL (Q2819197) (← links)
- (Q3050433) (← links)
- (Q3140381) (← links)
- Local realizability toposes and a modal logic for computability (Q3146245) (← links)
- (Q3208629) (← links)
- (Q3235342) (← links)
- (Q3235344) (← links)
- (Q3237555) (← links)
- Foundational aspects of theories of measurement (Q3252694) (← links)
- The Independence of Certain Distributive Laws in Boolean Algebras (Q3267470) (← links)
- (Q3267805) (← links)
- (Q3509173) (← links)
- Reconsidering Ordered Pairs (Q3616436) (← links)
- (Q3661543) (← links)
- (Q3664454) (← links)
- (Q3684171) (← links)
- Reduced direct products (Q3843607) (← links)
- (Q3853124) (← links)
- (Q3898465) (← links)
- (Q3898534) (← links)
- (Q3959414) (← links)
- (Q3960746) (← links)
- (Q4047529) (← links)
- Rules and Derived Rules (Q4049046) (← links)
- (Q4079581) (← links)
- (Q4081251) (← links)
- (Q4083398) (← links)
- (Q4083399) (← links)
- Data Types as Lattices (Q4103509) (← links)
- The self-intersection formula and the ‘formule-clef’ (Q4108441) (← links)
- (Q4109651) (← links)
- (Q4109652) (← links)
- Logic and programming languages (Q4127363) (← links)
- A Simple Proof of the Formula for the Blowing up of Chern Classes (Q4166841) (← links)
- (Q4385538) (← links)
- (Q4401922) (← links)
- (Q4499150) (← links)
