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
bookmarks
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
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
next
Stack Exchange works best with JavaScript enabled