Stack Exchange

Damiano Mazza

Paris, France

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

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

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

25
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

22
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
Can affine lambda calculus solve every problem in P?
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
Where is the model theory in programming language theory?
cstheory.stackexchange.com

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

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

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

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

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

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

10
Is there any known CCC closed under a probabilistic powerdomain operation?
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

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

8
Hierarchies in regular languages
cstheory.stackexchange.com

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

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

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

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

8
Is there a proof of strong normalisation that uses ordinal numbers?
mathoverflow.net

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

7
Is Girard's LU just an embedding of classical and intuitionistic logic into linear logic?
mathoverflow.net

1 2