Faculty

Institution

Unit

Venue

Richard Statman

Professor

Carnegie Mellon University

Affiliations

Mellon College of Science

Mathematical Sciences

Richard Statman is currently serving as a Mathematical Sciences Professor at Carnegie Mellon University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Richard Statman

Carnegie Mellon University

Professor

You can click a keyword to filter the displayed items

mathematics computer science logic in computer science lambda calculus applied mathematics type theory mathematical logic theoretical computer science automated reasoning pure mathematics combinatorial theory formal methods omega rule category theory theory of computation combinatorial optimization mathematical sciences computational logic type systems combinatorics extremal set theory combinatorial designs combinatorial problems logical reasoning combinatorial methods applied logic graph theory automated deduction spectral theory combinatorial design theory non-classical logic enumerative geometry recursive types medicine mathematical programming symptom management clinical investigation internal medicine medical history integrative medicine theoretical physics function spaces documentation logic synthesis logic programming logical analysis functional programming algebraic combinatorics analytic combinatorics mathematical structures combinatory logic object categorization calculus of variations finite model theory model theory generic programming filter (signal processing) information filtering system evidence-based medicine clinical populations clinical disease general internal medicine genus distributions basis problem lambda terms subject reduction theorem local translation numeral systems sensible lambda-theories closed terms fixed points finite number lambda theories range problem finite model property new type assignment computability theory computational model theory proof theory

Notable Scholarly Works

Notable Federal Grants

Collaborators

On Statman's Finite Completeness Theorem. arXiv (Cornell University) (2023)

Statman, RichardDowek, Gilles

computer sciencelogic in computer scienceset theoryabstract complexitymathematicsfinite completeness theoremapplied mathematicsformal methods

On Sets of Terms Having a Given Intersection Type. Logical Methods in Computer Science (2022)

Andrew PolonskyRichard Statman

computer sciencelogic in computer sciencegraph theorymathematical logicapplied logicextremal set theoryintersection typecomputational logicmathematicstheoretical computer sciencetype theorylogical reasoningautomated reasoningtheory of computationapplied mathematicsformal methods

Products in a Category With Only One Object. arXiv (Cornell University) (2021)

Richard Statman

object categorizationcomputer sciencecategory theory

References. Edward Elgar Publishing eBooks (2021)

Andrew JohnstonRobert Huggins

university knowledgeuniversity collaborationbusinessindustrial collaborationcollaboration processentrepreneurshipsocial innovationsmall business managementinter-firm coordinationtechnology transfermanagementstrategic managementinterorganizational relationships

Applications. Computational approaches to cognition and perception (2018)

James J. PalestroPer B. SederbergAdam F. OsthTrisha Van ZandtBrandon M. Turner

Fixed Point Theorem in Lambda Calculus. Indagationes Mathematicae (2018)

lambda calculusreal analysis

Minimal Backus Fp is Turing Complete. FLOC (2018)

computer scienceautomated deductionlogic in computer scienceturing machinemathematical logiccomputational complexitymathematicstheoretical computer scienceminimal backus fpcomputational model theoryautomated reasoningtheory of computationcomputability theorymathematical sciences

On Sets of Terms With a Given Intersection Type.. arXiv (Cornell University) (2018)

enumerative geometrymathematical logicintersection typecombinatorial theoryset theorymathematicsextremal set theory

Some Tweets About Mockingbirds in Ray Smullyan on Self Reference. Springer-Verlag (2018)

literatureliterary theoryself referenceenglishliterary criticism

Fixed Points in Lambda Calculus. an Eccentric Survey of Problems and Solutions. Indagationes Mathematicae (2017)

Benedetto IntrigilaRichard Statman

lambda calculuscombinatorial optimizationmathematicspartial differential equationsdifferential equationsapplied mathematics

1
2
3
4
5
6
10 / page

Richard Statman

Professor

Carnegie Mellon University

Affiliations

Mellon College of Science

Mathematical Sciences

Richard Statman is currently serving as a Mathematical Sciences Professor at Carnegie Mellon University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Richard Statman

Carnegie Mellon University

Professor

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

On Statman's Finite Completeness Theorem. arXiv (Cornell University) (2023)

Statman, RichardDowek, Gilles

computer sciencelogic in computer scienceset theoryabstract complexitymathematicsfinite completeness theoremapplied mathematicsformal methods

On Sets of Terms Having a Given Intersection Type. Logical Methods in Computer Science (2022)

Andrew PolonskyRichard Statman

Products in a Category With Only One Object. arXiv (Cornell University) (2021)

Richard Statman

object categorizationcomputer sciencecategory theory

References. Edward Elgar Publishing eBooks (2021)

Andrew JohnstonRobert Huggins

Applications. Computational approaches to cognition and perception (2018)

James J. PalestroPer B. SederbergAdam F. OsthTrisha Van ZandtBrandon M. Turner

Fixed Point Theorem in Lambda Calculus. Indagationes Mathematicae (2018)

lambda calculusreal analysis

Minimal Backus Fp is Turing Complete. FLOC (2018)

On Sets of Terms With a Given Intersection Type.. arXiv (Cornell University) (2018)

enumerative geometrymathematical logicintersection typecombinatorial theoryset theorymathematicsextremal set theory

Some Tweets About Mockingbirds in Ray Smullyan on Self Reference. Springer-Verlag (2018)

literatureliterary theoryself referenceenglishliterary criticism

Fixed Points in Lambda Calculus. an Eccentric Survey of Problems and Solutions. Indagationes Mathematicae (2017)

Benedetto IntrigilaRichard Statman

lambda calculuscombinatorial optimizationmathematicspartial differential equationsdifferential equationsapplied mathematics

1
2
3
4
5
6
10 / page

Similar Faculty Members

Ernest Schimmerling

Institution

Carnegie Mellon University

philosophical inquiry

philosophy of science

James Cummings

Institution

Carnegie Mellon University

philosophical inquiry

philosophy of science

Matthew Harrison-Trainor

Institution

University of Illinois Chicago

mathematical logic

computability theory

Peter Cholak

Institution

University of Notre Dame

extremal set theory

discrete algorithm

Gregory L. McColm

Institution

University of South Florida

mathematical logic

mathematics education

Florian Frick

Institution

Carnegie Mellon University

numerical mathematics

general systems

Wesley Pegden

Institution

Carnegie Mellon University

general systems

mathematics education

Dana Scott

Institution

University of California, Berkeley

set theory

logic in computer science

Antonio Montalban

Institution

University of California, Berkeley

mathematics

applied mathematics

Po-Shen Loh

Institution

Carnegie Mellon University

data preparation

general systems

Similar Faculty Members

Ernest Schimmerling

Institution

Carnegie Mellon University

philosophical inquiry

philosophy of science

James Cummings

Institution

Carnegie Mellon University

philosophical inquiry

philosophy of science

Matthew Harrison-Trainor

Institution

University of Illinois Chicago

mathematical logic

computability theory

Peter Cholak

Institution

University of Notre Dame

extremal set theory

discrete algorithm

Gregory L. McColm

Institution

University of South Florida

mathematical logic

mathematics education

Florian Frick

Institution

Carnegie Mellon University

numerical mathematics

general systems

Wesley Pegden

Institution

Carnegie Mellon University

general systems

mathematics education

Dana Scott

Institution

University of California, Berkeley

set theory

logic in computer science

Antonio Montalban

Institution

University of California, Berkeley

mathematics

applied mathematics

Po-Shen Loh

Institution

Carnegie Mellon University

data preparation

general systems