Search Results - Scott, Dana S.

Refine Results
  1. 1
    Automating Free Logic in HOL, with an Experimental Application in Category Theory

    Automating Free Logic in HOL, with an Experimental Application in Category Theory by Benzmüller, Christoph, Scott, Dana S.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Equilogical spaces

    Equilogical spaces by Bauer, Andrej, Birkedal, Lars, Scott, Dana S.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Stochastic λ-calculi: An extended abstract

    Stochastic λ-calculi: An extended abstract by Scott, Dana S.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13-23 1977

    Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13-23 1977 by Müller, G. H, Scott, D. S

    Get full text
    Book
    Save to List
    Saved in:
  5. 5
    Stochastic [lambda]-calculi: An extended abstract

    Stochastic [lambda]-calculi: An extended abstract by Scott, Dana S

    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Local realizability toposes and a modal logic for computability

    Local realizability toposes and a modal logic for computability by AWODEY, STEVEN, BIRKEDAL, LARS, SCOTT, DANA S.

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Cartesian closed categories of separable Scott domains

    Cartesian closed categories of separable Scott domains by Bauer, Andrej, Plotkin, Gordon D., Scott, Dana S.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  8. 8
    Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation

    Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation by Bayer, Jonas, Gonus, Aleksey, Benzmüller, Christoph, Scott, Dana S

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Computer-supported Exploration of a Categorical Axiomatization of Modeloids

    Computer-supported Exploration of a Categorical Axiomatization of Modeloids by Lucca Tiemens, Scott, Dana S, Benzmüller, Christoph, Benda, Miroslav

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Review: Alfred Tarski and the Vienna Circle: Austro-Polish Connections in Logical Empiricism, edited by Jan Woleński and Eckehart Köhler

    Review: Alfred Tarski and the Vienna Circle: Austro-Polish Connections in Logical Empiricism, edited by Jan Woleński and Eckehart Köhler by Awodey, Steve, Scott, Dana S

    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Axiomatizing Category Theory in Free Logic

    Axiomatizing Category Theory in Free Logic by Benzmüller, Christoph, Scott, Dana S

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Foreword

    Foreword by Birkedal, Lars, Rosolini, Giuseppe, Scott, Dana S., van Oosten, Jaap

    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Foreword

    Foreword by Birkedal, Lars, Rosolini, Giuseppe, Scott, Dana S., van Oosten, Jaap

    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Foreword

    Foreword by Birkedal, Lars, Rosolini, Giuseppe, Scott, Dana S, Van Oosten, Jaap

    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Foreword

    Foreword by Birkedal, Lars, Rosolini, Giuseppe, Scott, Dana S, Van Oosten, Jaap

    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    Foreword

    Foreword by Birkedal, Lars, Rosolini, Giuseppe, Scott, Dana S., van Oosten, Jaap

    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Logic and programming languages

    Logic and programming languages by Scott, Dana S.

    Get full text
    Items that this one cites
    Items that cite this one
    Magazinearticle
    Save to List
    Saved in:
  18. 18
    Powersets, Fixed Points, and Lambda Calculus

    Powersets, Fixed Points, and Lambda Calculus by Scott, Dana S.

    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Local Realizability Toposes and a Modal Logic for Computability: (Extended Abstract)

    Local Realizability Toposes and a Modal Logic for Computability: (Extended Abstract) by Awodey, Steven, Birkedal, Lars, Scott, Dana S.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  20. 20
    Preface

    Preface by Lars, Birkedal, Jaap van, Oosten, Giuseppe, Rosolini, Scott, Dana S.

    Get full text
    Article
    Save to List
    Saved in:

Search Tools: