Faculty

Institution

Unit

Venue

Dana Scott

Visitor

University of California, Berkeley

Affiliations

College of Letters & Science

Mathematical & Physical Sciences

Mathematics

Dana Scott is currently serving as a College Of Letters & Science Visitor at University of California, Berkeley.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Dana Scott

University of California, Berkeley

Visitor

You can click a keyword to filter the displayed items

applied mathematics computer science mathematics lattice theory topology continuous lattices theoretical computer science category theory automated reasoning logic in computer science linguistics mathematical logic semantics automated deduction foundation of mathematics free logic natural language processing lambda calculus domain theory theory of computation philosophy of mathematics mathematical sciences historical review computational semantics type theory algorithmic information theory applied logic domain model computability theory philosophy of logic analytic number theory logic programming scott topology combinatorial theory numerical mathematics semantic web semantic evaluation programming languages research library reproductive health youth services spectral theory approximate reasoning fuzzy logic logical frameworks model theory theoretical analysis enumerative combinatorics class analysis computational complexity theory modal logic vertical application abstract algebra classical logic logical formalism history of logic semantic computing applied algebra formal semantics semantic representation semantic interpretation semantic technologies logic synthesis denotational semantics homotopy type theory univalent foundations type-theoretical alternative equilogical spaces equational completeness exact categories philosophical issues local realizability toposes preliminary version recursion theory experimental application stochastic l-calculi algebraic semantics automata theory set theory computational logic automaton operation

Notable Scholarly Works

Notable Federal Grants

Collaborators

Interpreting Lambda Calculus in Domain-Valued Random Variables. arXiv (Cornell University) (2021)

Furber, RobertMardare, RaduPanangaden, PrakashScott, Dana

machine learninglambda calculusdomain-valued random variablesapplied mathematics

Computer-Supported Exploration of a Categorical Axiomatization of Modeloids. Lecture notes in computer science (2020)

Lucca TiemensDana S. ScottChristoph BenzmüllerMiroslav Benda

machine learningcomputer-supported explorationtheoretical computer sciencecomputer sciencecategorical axiomatization

A Calculus of Regions Respecting Both Measure and Topology. Journal of Philosophical Logic (2019)

Tamar LandoDana Scott

philosophytopologyphilosophical logic

Automating Free Logic in Hol, With an Experimental Application in Category Theory. Journal of Automated Reasoning (2019)

Christoph BenzmüllerDana S. Scott

experimental applicationfree logicautomationcategory theoryvertical applicationcomputer scienceautomated reasoning

Axiom Systems for Category Theory in Free Logic. Archive of formal proofs (2018)

Christoph BenzmüllerDana S. Scott

category theoryfree logiccomputer scienceaxiom systems

Boolean-Valued Semantics for the Stochastic λ-Calculus. (2018)

Giorgio BacciRobert FurberDexter KozenRadu MardarePrakash PanangadenDana Scott

semanticsboolean-valued semanticsstochastic l-calculusapplied mathematicslinguisticsknowledge representation and reasoning

Some Reflections on a Computer-Aided Theory Exploration Study in Category Theory (Extended Abstract). (2018)

Christoph BenzmüllerDana S. Scott

category theorycomputer science

Automating Free Logic in Isabelle/Hol. Lecture notes in computer science (2016)

Christoph BenzmüllerDana Scott

free logicnatural language processingautomated reasoningcomputing educationformal verificationcomputer scienceautomation

Axiomatizing Category Theory in Free Logic. arXiv (Cornell University) (2016)

Christoph BenzmüllerDana S. Scott

category theoryfree logiccomputer science

Cartesian Closed Categories of Separable Scott Domains. Theoretical Computer Science (2014)

Andrej BauerGordon D. PlotkinDana S. Scott

graph theoryseparable scott domainstheoretical computer sciencenumber theorycomputability theorycomputational number theorycomputer science

1
2
3
4
5
6
10 / page

Dana Scott

Visitor

University of California, Berkeley

Affiliations

College of Letters & Science

Mathematical & Physical Sciences

Mathematics

Dana Scott is currently serving as a College Of Letters & Science Visitor at University of California, Berkeley.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Dana Scott

University of California, Berkeley

Visitor

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Interpreting Lambda Calculus in Domain-Valued Random Variables. arXiv (Cornell University) (2021)

Furber, RobertMardare, RaduPanangaden, PrakashScott, Dana

machine learninglambda calculusdomain-valued random variablesapplied mathematics

Computer-Supported Exploration of a Categorical Axiomatization of Modeloids. Lecture notes in computer science (2020)

Lucca TiemensDana S. ScottChristoph BenzmüllerMiroslav Benda

machine learningcomputer-supported explorationtheoretical computer sciencecomputer sciencecategorical axiomatization

A Calculus of Regions Respecting Both Measure and Topology. Journal of Philosophical Logic (2019)

Tamar LandoDana Scott

philosophytopologyphilosophical logic

Automating Free Logic in Hol, With an Experimental Application in Category Theory. Journal of Automated Reasoning (2019)

Christoph BenzmüllerDana S. Scott

experimental applicationfree logicautomationcategory theoryvertical applicationcomputer scienceautomated reasoning

Axiom Systems for Category Theory in Free Logic. Archive of formal proofs (2018)

Christoph BenzmüllerDana S. Scott

category theoryfree logiccomputer scienceaxiom systems

Boolean-Valued Semantics for the Stochastic λ-Calculus. (2018)

Giorgio BacciRobert FurberDexter KozenRadu MardarePrakash PanangadenDana Scott

semanticsboolean-valued semanticsstochastic l-calculusapplied mathematicslinguisticsknowledge representation and reasoning

Some Reflections on a Computer-Aided Theory Exploration Study in Category Theory (Extended Abstract). (2018)

Christoph BenzmüllerDana S. Scott

category theorycomputer science

Automating Free Logic in Isabelle/Hol. Lecture notes in computer science (2016)

Christoph BenzmüllerDana Scott

free logicnatural language processingautomated reasoningcomputing educationformal verificationcomputer scienceautomation

Axiomatizing Category Theory in Free Logic. arXiv (Cornell University) (2016)

Christoph BenzmüllerDana S. Scott

category theoryfree logiccomputer science

Cartesian Closed Categories of Separable Scott Domains. Theoretical Computer Science (2014)

Andrej BauerGordon D. PlotkinDana S. Scott

graph theoryseparable scott domainstheoretical computer sciencenumber theorycomputability theorycomputational number theorycomputer science

1
2
3
4
5
6
10 / page

Similar Faculty Members

Antonio Montalban

Institution

University of California, Berkeley

mathematics

applied mathematics

John R. Steel

Institution

University of California, Berkeley

foundation of mathematics

set theory

Yiannis N. Moschovakis

Institution

University of California, Los Angeles

philosophy of language

philosophical logic

Theodore A. Slaman

Institution

University of California, Berkeley

partial computations

logic in computer science

Peter Cholak

Institution

University of Notre Dame

extremal set theory

discrete algorithm

Stephen G. Simpson

Institution

Pennsylvania State University

mathematical logic

automated deduction

Howard Straubing

Institution

Boston College

mathematics

discrete algorithm

Richard Statman

Institution

Carnegie Mellon University

computational model theory

mathematical logic

Lawrence Moss

Institution

Indiana University Bloomington

computer science

linguistics

Harvey Friedman

Institution

Ohio State University

philosophy

general system

Similar Faculty Members

Antonio Montalban

Institution

University of California, Berkeley

mathematics

applied mathematics

John R. Steel

Institution

University of California, Berkeley

foundation of mathematics

set theory

Yiannis N. Moschovakis

Institution

University of California, Los Angeles

philosophy of language

philosophical logic

Theodore A. Slaman

Institution

University of California, Berkeley

partial computations

logic in computer science

Peter Cholak

Institution

University of Notre Dame

extremal set theory

discrete algorithm

Stephen G. Simpson

Institution

Pennsylvania State University

mathematical logic

automated deduction

Howard Straubing

Institution

Boston College

mathematics

discrete algorithm

Richard Statman

Institution

Carnegie Mellon University

computational model theory

mathematical logic

Lawrence Moss

Institution

Indiana University Bloomington

computer science

linguistics

Harvey Friedman

Institution

Ohio State University

philosophy

general system