Academia.edu | People who have Type Theory as a research interest (74)

Follow Joseph

What is Following?

Following Joseph's work means that, in your Academia.edu News Feed, you will see Joseph's:

status updates
new papers
new research interests

and other research updates.

Joseph Kiniry

IT University of Copenhagen

Faculty Member

Software Development Group Department

Artificial Life, Automated Deduction, Autonomic Computing, and Category Theory

Follow João

What is Following?

Following João's work means that, in your Academia.edu News Feed, you will see João's:

status updates
new papers
new research interests

and other research updates.

João Marcos

UFRN

Faculty Member

DIMAp Department

Algebraic (Symbolic) Computation, Computability Theory, Computational Logic, and Computational Mathematics

Follow Roly

What is Following?

Following Roly's work means that, in your Academia.edu News Feed, you will see Roly's:

status updates
new papers
new research interests

and other research updates.

Roly Perera

University Of Birmingham

Graduate Student

Computer Science Department

Computers and Philosophy, Consciousness, Functionalism, and Interface Design

Follow Simon

What is Following?

Following Simon's work means that, in your Academia.edu News Feed, you will see Simon's:

status updates
new papers
new research interests

and other research updates.

Simon Dobson

University of St Andrews

Faculty Member

Computer Science Department

Autonomic Communication, Autonomic Computing, Programming Languages, and Type Theory

Follow Mihai

What is Following?

Following Mihai's work means that, in your Academia.edu News Feed, you will see Mihai's:

status updates
new papers
new research interests

and other research updates.

Mihai Maruseac

"Politehnica" University of Bucharest

Undergraduate

Faculty of Automatic Control and Computer Science

AI Planning (Artificial Intelligence), Agent Based, Algorithm Analysis, and Algorithms

Follow Jeremy

What is Following?

Following Jeremy's work means that, in your Academia.edu News Feed, you will see Jeremy's:

status updates
new papers
new research interests

and other research updates.

Jeremy Gibbons

University of Oxford

Faculty Member

Computing Laboratory

Architectural Patterns, Data Structures (Computer Science), Design Patterns, and E Science

Follow Joshua

What is Following?

Following Joshua's work means that, in your Academia.edu News Feed, you will see Joshua's:

status updates
new papers
new research interests

and other research updates.

Joshua Cason

University of Washington

Graduate Student

Linguistics Department

Analytic Philosophy, Analytic Philosophy of Religion, Analytic Theology, and Automated Deduction

Follow Paolo

What is Following?

Following Paolo's work means that, in your Academia.edu News Feed, you will see Paolo's:

status updates
new papers
new research interests

and other research updates.

Paolo Coppola

University of Udine

Faculty Member

Methematica and Computer Science Department

E-Government, Linear Logic, Mobile Computing, and Mobile Web 2.0

Follow Chris

What is Following?

Following Chris's work means that, in your Academia.edu News Feed, you will see Chris's:

status updates
new papers
new research interests

and other research updates.

Chris Worth

Ohio State University

Graduate Student

Linguistics Department

Computational Linguistics, Logic, Morphology, and Phonology

Follow Vlad

What is Following?

Following Vlad's work means that, in your Academia.edu News Feed, you will see Vlad's:

status updates
new papers
new research interests

and other research updates.

Vlad Dogaru

"Politehnica" University of Bucharest

Graduate Student

Faculty of Automatic Control and Computer Science

Computer Science, Functional Programming, Linux Kernel, and Operating Systems

Follow Mariusz

What is Following?

Following Mariusz's work means that, in your Academia.edu News Feed, you will see Mariusz's:

status updates
new papers
new research interests

and other research updates.

Mariusz Nowostawski

University of Otago

Faculty Member

Information Science Department

Algorithms, Artificial Intelligence, Artificial Neural Network, and Automata Theory (Formal Languages)

Follow Jonathan

What is Following?

Following Jonathan's work means that, in your Academia.edu News Feed, you will see Jonathan's:

status updates
new papers
new research interests

and other research updates.

Jonathan Nicholson

University of Brighton

Faculty Member

School of Computing, Engineering and Mathematics

Automated reasoning, CASE Tools, Computer Science, and Design Patterns

Follow Philip

What is Following?

Following Philip's work means that, in your Academia.edu News Feed, you will see Philip's:

status updates
new papers
new research interests

and other research updates.

Philip Atzemoglou

University of Oxford

Graduate Student

Department of Computer Science

Category Theory, Computational Complexity Theory, Lambda Calculus, and Measurement-based Quantum Computation

Follow Marco

What is Following?

Following Marco's work means that, in your Academia.edu News Feed, you will see Marco's:

status updates
new papers
new research interests

and other research updates.

Marco Solieri

Paris Nord XIII

Graduate Student

Laboratoire d'Informatique de Paris-Nord

Computer Science, Implicit Computational Complexity, Linear Logic, and Programming Languages

Follow Stergios

What is Following?

Following Stergios's work means that, in your Academia.edu News Feed, you will see Stergios's:

status updates
new papers
new research interests

and other research updates.

Stergios Chatzikyriakidis

Royal Holloway, University of London

Post-Doc

Computer Science Department

Dynamic Syntax, Formal Semantics/Pragmatics, Formal syntax, and Linguistic and Musical Analysis

Follow Cyrus

What is Following?

Following Cyrus's work means that, in your Academia.edu News Feed, you will see Cyrus's:

status updates
new papers
new research interests

and other research updates.

Cyrus Omar

Carnegie Mellon University

Graduate Student

Computer Science Department

Brain-computer interfaces, Compilers, Computational Neuroscience, and Human-Computer Interaction

Follow Serguei

What is Following?

Following Serguei's work means that, in your Academia.edu News Feed, you will see Serguei's:

status updates
new papers
new research interests

and other research updates.

Serguei Mokhov

Concordia University (Canada)

Graduate Student

Computer Science and Software Engineering Department

Algorithms, Artificial Intelligence, Artificial Neural Network, and Aspect-Oriented Programming

Follow Robin

What is Following?

Following Robin's work means that, in your Academia.edu News Feed, you will see Robin's:

status updates
new papers
new research interests

and other research updates.

Robin Green

Swansea University

Faculty Member

Computer Science Department

Computer Science, Computing In Mathematics, Natural Sciences, Engineering And Medicine, Formal Methods (Formal Verification), and Functional Programming

Follow Feryal Fulya

What is Following?

Following Feryal Fulya's work means that, in your Academia.edu News Feed, you will see Feryal Fulya's:

status updates
new papers
new research interests

and other research updates.

Feryal Fulya Horozal

Jacobs University Bremen

Graduate Student

School of Engineering and Science

Computer Science, Formal Methods (Formal Verification), Formal methods, and Logical Frameworks (Computer Science)

Follow Alexander

What is Following?

Following Alexander's work means that, in your Academia.edu News Feed, you will see Alexander's:

status updates
new papers
new research interests

and other research updates.

Alexander Lamaison

Imperial College London

Graduate Student

Computing Department

Compilers, Duck Typing (Python), Open Source Software, and Program Analysis

Follow Martin

What is Following?

Following Martin's work means that, in your Academia.edu News Feed, you will see Martin's:

status updates
new papers
new research interests

and other research updates.

Martin Churchill

University of Bath

Graduate Student

Department of Computer Science

Algebra, Category Theory, Computability Theory, and Computational Logic

Follow Daniel

What is Following?

Following Daniel's work means that, in your Academia.edu News Feed, you will see Daniel's:

status updates
new papers
new research interests

and other research updates.

Daniel Peebles

Dartmouth College

Graduate Student

Computer Science Department

Adaptive Learning Systems, Algebra, Automata Theory (Formal Languages), and Category Theory

Follow Louis

What is Following?

Following Louis's work means that, in your Academia.edu News Feed, you will see Louis's:

status updates
new papers
new research interests

and other research updates.

Louis Wasserman

University of Chicago

Undergraduate

Mathematics Department

Algorithms, Combinatorial Algorithms, Combinatorics, and Computational Complexity Theory

Follow Eric

What is Following?

Following Eric's work means that, in your Academia.edu News Feed, you will see Eric's:

status updates
new papers
new research interests

and other research updates.

Eric Eide

University of Utah

Graduate Student

School of Computing

Aspect-Oriented Programming, Compilers, Computer Networks, and Computer Science

Follow Yoichi

What is Following?

Following Yoichi's work means that, in your Academia.edu News Feed, you will see Yoichi's:

status updates
new papers
new research interests

and other research updates.

Type Theory

What is Following?

Faculty Member

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Faculty Member

What is Following?

Undergraduate

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Faculty Member

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Post-Doc

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Faculty Member

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Graduate Student

What is Following?

Undergraduate

What is Following?

Graduate Student

What is Following?

Graduate Student

Log In

Reset Password