Stack Exchange

Damiano Mazza

Paris, France

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

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

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

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

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

19
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

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

13
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

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

10
Is there any known CCC closed under a probabilistic powerdomain operation?
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
Why is the multi-step reduction of semantics reflexive?
cstheory.stackexchange.com

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

9
Do we care about confluence because of unique normal forms?
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

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

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

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

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

6
Is length uniform AC0 computable?
cstheory.stackexchange.com

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

6
Proof of ¬(¬1 ⊗ ¬1) in tensorial logic
mathoverflow.net

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

6
Calculus of Constructions: compress expression to its smallest form
cstheory.stackexchange.com

6
How do you encode Lamping's abstract algorithm using interaction combinators?
cstheory.stackexchange.com

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

1 2