Skip to main content
Theoretical Computer Science
Giorgio Mossa's user avatar
Giorgio Mossa's user avatar
Giorgio Mossa's user avatar
Giorgio Mossa
  • Member for 10 years, 5 months
  • Last seen more than a month ago
Profile Activity
Stats
454
reputation
5k
reached
5
answers
2
questions
Communities
View all
About
I'm math student, in particular I'm interested in algebra, geometry, topology and category theory (especially higher dimensional category theory) and its application in mathematics.
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
10
bronze badges
Top tags
View all tags
9
Score
3
Posts
43
Posts %
6
Score
2
Posts
29
Posts %
6
Score
2
Posts
29
Posts %
5
Score
1
Posts
14
Posts %
5
Score
1
Posts
14
Posts %
4
Score
2
Posts
29
Posts %
Top posts
question
17
Formalizing Homotopy Type theory in Idris
Dec 27, 2014
answer
5
How would a theory of computation course that culminated in lambda-calculus as "the" model of computation, instead of Turing machines, look like?
Feb 23, 2015
answer
4
Algebra and algebraic data types
Jan 11, 2016
answer
3
Distinguishing semantics vs syntactic techniques and the syntax of your semantic domains
Mar 12, 2015
answer
1
Why is lambda calculus so "function" oriented?
Feb 23, 2015
question
1
Why are simulations defined as relations and not as functions?
May 12, 2018
answer
1
What is the formalism behind ?- (query) in Prolog?
Jan 12, 2015
Top network posts
View all network posts
61
Natural transformations as categorical homotopies
41
Is Mac Lane still the best place to learn category theory?
39
How to Prove a Programming Language is Turing Complete?
29
Concrete example of $\infty$-categories
27
The "functions" of untyped lambda calculus are not (set theoretic) functions so what are they?