1,451 reputation
314
bio website
location Padua, Italy
age 23
visits member for 1 year, 3 months
seen Nov 22 at 13:54

I am a student of the Master's program in Mathematics at the University of Padua, Italy. My main interests are type theory, category theory and computability.


Nov
22
accepted Formal notion of computational content
Oct
23
comment Formal notion of computational content
Thank you. Although I am familiar with type theory and this doesn't really answer my question, it's a nice explanation for those who don't know about the Curry-Howard correspondence.
Oct
23
revised Formal notion of computational content
clarified question
Oct
23
comment Formal notion of computational content
Thank you both for your suggestions. I am familiar with the Curry-Howard correspondence: I'll expand the question to clarify what I'm looking for (although it looks like the book by Schwichtenberg and Wainer may already have the answer).
Oct
23
asked Formal notion of computational content
Aug
11
awarded  Yearling
Jul
2
awarded  Curious
May
11
awarded  Mortarboard
May
9
accepted Existence and uniqueness of particular binary operations on a lattice
May
8
awarded  Revival
May
4
reviewed Reviewed Is the Dirac measure named after P.A.M. Dirac?
May
4
answered Axiom of Choice - Type Theory (Proof)
Apr
27
comment Diagonalization out of partial recursive functions
What makes you think that $\phi$ should be recursive? Can you give an effective procedure for computing $\phi$?
Apr
9
reviewed Reviewed strong topology = inductive limit topology on duals of projective limits
Apr
9
reviewed Reviewed Initial F-algebra and its isomorphic arrow proof
Mar
31
reviewed Reviewed Verify that $\nabla(A\cdot B) = (B\cdot\nabla)A + (A\cdot\nabla)B + B\times(\nabla\times A) + A\times(\nabla\times B)$
Mar
28
reviewed Reviewed statistical analysis of discrete (non-uniform) p-values: cryptographical random data test
Mar
24
reviewed Reviewed What is the cartesian product of a non empty set and a set containing an empty set (or $X_1 \times \{ \emptyset \}$ )?
Mar
24
reviewed Reviewed Is it possible that $f_1,f_2,\dots,f_n$ are not all differentiable, but $\alpha:I\to \Bbb{R^n}$ is differentiable?
Mar
14
answered Some reference for categorical logic?