Damiano Mazza

Member for 9 years, 11 months
Last seen this week

lipn.univ-paris13.fr/~mazza
Paris, France

Summary

Reputation

5,283

5.3k
4.6k
4k

2020
2021
2022
2023

Top tag

lambda-calculus

Next privilege

10,000 Rep.

Access moderator tools

Badges

1

24

36

Newest

Enlightened

Next badge

0/1

Autobiographer

Answers

View all 55 answers

Score Activity Newest

25

How to make the Lambda Calculus strong normalizing without a type system?

Dec 30, 2013

22

What is the contribution of lambda calculus to the field of theory of computation?

Mar 24, 2014

22

Can typed lambda calculi express *all* algorithms below a given complexity?

Dec 16, 2014

14

Algorithm to determine function equality on the simply typed lambda calculus?

Mar 19, 2014

14

Do I have to give up the Law of the Excluded Middle in order to Learn $\lambda$-Calculus?

Jul 22, 2016

Questions

Score Activity Newest Views

22

What is the power of general poly-size permutation branching programs?

Jul 20, 2015

17

What if an $\mathsf L$-complete problem has $\mathsf{NC}^1$ circuits? More generally, what evidence is there against $\mathsf{NC}^1=\mathsf{L}$?

Oct 9, 2014

Tags

View all 62 tags

lambda-calculus

262

Score

28

posts

pl.programming-languages

110

Score

12

posts

type-theory

105

Score

12

posts

functional-programming

83

Score

7

posts

soft-question

68

Score

5

posts

Reputation

+10

Can Elementary Affine Logic be used as the core type system of a practical programming language?

+10

Can affine lambda calculus solve every problem in P?

+10

Where is the model theory in programming language theory?

+10

Lambda-calculus: Beta-equivalent terms have the same type

Badges

View all badges

1

gold badge

Electorate

Feb 3, 2017

24

silver badges

Pundit

Apr 2
Civic Duty

Dec 17, 2014
Constituent

× 2

Jul 5, 2018

36

bronze badges

lambda-calculus

Sep 2, 2017
Tag Editor

Jun 1, 2018
Explainer

Sep 30, 2014

Accounts

Theoretical Computer Science

5,283
1
24
36

1,431
1
12
11

171
1
5

Computer Science

155
6

101
1

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

2,745

upvotes

1

downvotes

1,434

question votes

1,312

answer votes