Damiano Mazza's user avatar
Damiano Mazza's user avatar
Damiano Mazza's user avatar
Damiano Mazza
  • Member for 10 years, 2 months
  • Last seen this week
34 votes
Accepted

Time in Girard's Geometry of Interaction

29 votes

Do you know important theorems that remain unknown?

13 votes
Accepted

Is this Wikipedia article linking to the wrong notion of coherent space

10 votes

Kan extensions in the $2$-category of monoidal categories

8 votes
Accepted

Recursion theory from the standoint of category theory

8 votes

Is there a proof of strong normalisation that uses ordinal numbers?

7 votes
Accepted

What would you do with a new model of linear logic?

7 votes
Accepted

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

6 votes

How to handle sums in Tait's reducibility proof of strong normalisation?

6 votes
Accepted

Is simply typed lambda calculus with fixed-point combinator Turing-complete?

6 votes
Accepted

Proof of ¬(¬1 ⊗ ¬1) in tensorial logic

5 votes
Accepted

Selection terms in the untyped lambda calculus

3 votes

Multi-head two-way finite automata versus logarithmic space

2 votes

Where can I learn about Cartesian closed functors between categories of simply typed lambda calculus?

2 votes

Distributivity of ! over?

1 vote
Accepted

What is the sequent calculus for differential linear logic?