Stack Exchange

Damiano Mazza

Paris, France

http://lipn.univ-paris13.fr/~mazza

top accounts reputation activity bookmarks subscriptions
Top Questions
Top Answers
33
Time in Girard's Geometry of Interaction
mathoverflow.net

27
Do you know important theorems that remain unknown?
mathoverflow.net

23
How to make the Lambda Calculus strong normalizing without a type system?
cstheory.stackexchange.com

22
What is the contribution of lambda calculus to the field of theory of computation?
cstheory.stackexchange.com

21
Can typed lambda calculi express *all* algorithms below a given complexity?
cstheory.stackexchange.com

15
(How) Could we discover/analyze NP problems in the absence of the Turing model of computation?
cstheory.stackexchange.com

14
Algorithm to determine function equality on the simply typed lambda calculus?
cstheory.stackexchange.com

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

13
Is this Wikipedia article linking to the wrong notion of coherent space
mathoverflow.net

13
Contradiction between Gödel's Second Incompleteness Theorem and the Church-Rosser's property of CIC?
cstheory.stackexchange.com

12
Can affine lambda calculus solve every problem in P?
cstheory.stackexchange.com

11
Is there an efficient beta-equivalence algorithm?
cstheory.stackexchange.com

10
What type system fits the subclass of λ-terms that can be reduced optimally?
cstheory.stackexchange.com

10
Can Elementary Affine Logic be used as the core type system of a practical programming language?
cstheory.stackexchange.com

10
Why is the multi-step reduction of semantics reflexive?
cstheory.stackexchange.com

10
Kan extensions in the $2$-category of monoidal categories
mathoverflow.net

10
Is there any known CCC closed under a probabilistic powerdomain operation?
cstheory.stackexchange.com

10
How does linear logic achieve resource management?
cstheory.stackexchange.com

9
Do we care about confluence because of unique normal forms?
cstheory.stackexchange.com

9
Can you assign a type to any term of the λEA-calculus?
cstheory.stackexchange.com

8
How can you encode natural numbers operations on interaction combinators?
cstheory.stackexchange.com

8
Hierarchies in regular languages
cstheory.stackexchange.com

8
What are the morphisms of Adj(C,T) - the category whose objects are the adjunctions of a given monad?
cstheory.stackexchange.com

8
What is the complexity class of higher-order primitive recursion?
cstheory.stackexchange.com

7
What is the relationship between intuitionistic logic, combinatory logic and lambda calculus?
cstheory.stackexchange.com

7
Recursion theory from the standoint of category theory
mathoverflow.net

7
In which posets is the set of compact elements downwards closed?
cstheory.stackexchange.com

7
A stronger multiplexing rule for soft linear logic?
cstheory.stackexchange.com

7
Difference between abstract machines and calculi
cstheory.stackexchange.com

7
Are there strongly normalizing lambda terms that cannot be given a System F type?
cstheory.stackexchange.com

1 2