Lambda Calculus and Combinatory Logic

People 7

Papers 17

Journals 0

Jobs 0

Logic And Foundations Of Mathematics

Computer Science

Theory Of Computation

Functional Programming

Relational Database

Analytic Philosophy

Presocratic Philosophy

Logic

Limits of Computation

Formal Topology

Theoretical Computer Science

Mathematical Logic

Lambda Calculus

Relation (Theory of Categories)

Lambda Calculus and Combinatory Logic

Categorical Abstract Machine

Sequential Logic

Follow Viacheslav

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Viacheslav Wolfengagen

Institute JurInfoR-MSU

Faculty Member

Advaced Computer Studies and Information Technologies Department

Categorical Abstract Machine, Computer Science, Lambda Calculus, and Lambda Calculus and Combinatory Logic

Follow Adrian

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Adrian Rezus

Alexander of Aphrodisias, Analytic Philosophy, Ancient Logic, and Aristotle

Follow Kosikov

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Kosikov Sergey

Institute JurInfoR-MSU

Faculty Member

Advaced Computer Studies and Information Technologies Department

Categorical Abstract Machine, Computer Science, Lambda Calculus, and Lambda Calculus and Combinatory Logic

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 Kuzichev

Moscow State University

Faculty Member

Faculty of Mechanics and Mathematics

Lambda Calculus and Combinatory Logic and Sequential Logic

Follow Anton

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Anton Salikhmetov

Computer Science, Interaction Nets, Lambda Calculus, and Lambda Calculus and Combinatory Logic

Follow Ilshad

What is Following?

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

status updates
new papers
new research interests

and other research updates.

Ilshad Khabibullin

Categorical Abstract Machine, Category Theory, Computer Science, and Lambda Calculus

Follow DAI

What is Following?

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

status updates
new papers
new research interests

and other research updates.

DAI Yi

Université Paris Diderot

Graduate Student

Computer Science Department

Functional Programming, Lambda Calculus, Lambda Calculus and Combinatory Logic, and Linear Logic

Lambda Calculus and Combinatory Logic

What is Following?

Viacheslav Wolfengagen

Institute JurInfoR-MSU

Faculty Member

Advaced Computer Studies and Information Technologies Department

What is Following?

Adrian Rezus

What is Following?

Kosikov Sergey

Institute JurInfoR-MSU

Faculty Member

Advaced Computer Studies and Information Technologies Department

What is Following?

Alexander Kuzichev

Moscow State University

Faculty Member

Faculty of Mechanics and Mathematics

What is Following?

Anton Salikhmetov

What is Following?

Ilshad Khabibullin

What is Following?

DAI Yi

Université Paris Diderot

Graduate Student

Computer Science Department

Log In

Reset Password