Theoretical Computer Science
Damiano Mazza's user avatar
Damiano Mazza's user avatar
Damiano Mazza's user avatar
Damiano Mazza
  • Member for 9 years, 3 months
  • Last seen this week
Profile Activity
Stats
5,038
reputation
56k
reached
53
answers
2
questions
Communities
Badges
View all badges
1
gold badge
21
silver badges
35
bronze badges
Top tags
View all tags
259
Score
28
Posts
51
Posts %
96
Score
11
Posts
20
Posts %
87
Score
10
Posts
18
Posts %
82
Score
7
Posts
13
Posts %
58
Score
9
Posts
16
Posts %
57
Score
6
Posts
11
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
24
How to make the Lambda Calculus strong normalizing without a type system?
Dec 30, 2013
question
22
What is the power of general poly-size permutation branching programs?
Jul 20, 2015
answer
22
What is the contribution of lambda calculus to the field of theory of computation?
Mar 24, 2014
answer
22
Can typed lambda calculi express *all* algorithms below a given complexity?
Dec 16, 2014
question
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
answer
14
Algorithm to determine function equality on the simply typed lambda calculus?
Mar 19, 2014
answer
14
Do I have to give up the Law of the Excluded Middle in order to Learn $\lambda$-Calculus?
Jul 22, 2016
answer
14
(How) Could we discover/analyze NP problems in the absence of the Turing model of computation?
Dec 5, 2016
answer
13
Contradiction between Gödel's Second Incompleteness Theorem and the Church-Rosser's property of CIC?
Jan 1, 2016
answer
12
Can affine lambda calculus solve every problem in P?
Aug 4, 2014
Top network posts
View all network posts
34
Time in Girard's Geometry of Interaction
28
Do you know important theorems that remain unknown?
13
Is this Wikipedia article linking to the wrong notion of coherent space
10
Kan extensions in the $2$-category of monoidal categories
8
Recursion theory from the standoint of category theory

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.