Tour
About Us
Meta
Loading…
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Log in
Stack Exchange
All Sites
Top Users
Digests
Damiano Mazza
Paris, France
http://lipn.univ-paris13.fr/~mazza
top
accounts
reputation
activity
subscriptions
Top Questions
22
votes
What is the power of general poly-size permutation branching programs?
cc.complexity-theory
complexity-classes
circuit-complexity
logspace
structural-complexity
asked Jul 20, 2015 at 20:46
cstheory.stackexchange.com
17
votes
What if an $\mathsf L$-complete problem has $\mathsf{NC}^1$ circuits? More generally, what evidence is there against $\mathsf{NC}^1=\mathsf{L}$?
cc.complexity-theory
complexity-classes
circuit-complexity
advice-and-nonuniformity
logspace
asked Oct 9, 2014 at 10:14
cstheory.stackexchange.com
5
votes
Cartesian liftings in double categories
reference-request
ct.category-theory
higher-category-theory
fibration
internal-categories
asked Sep 21, 2017 at 8:24
mathoverflow.net
5
votes
Is $\mathbb Z$ of finite presentation over $\mathbb F_1$?
abstract-algebra
algebraic-geometry
commutative-algebra
asked Mar 7 at 14:15
math.stackexchange.com
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
next
Stack Exchange works best with JavaScript enabled