Skip to main content
Computer Science
AntC's user avatar
AntC's user avatar
AntC's user avatar
AntC
  • Member for 7 years, 4 months
  • Last seen more than a month ago
Profile Activity
Stats
497
reputation
22k
reached
17
answers
4
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
15
bronze badges
Top tags
View all tags
12
Score
10
Posts
48
Posts %
8
Score
10
Posts
48
Posts %
8
Score
4
Posts
19
Posts %
5
Score
6
Posts
29
Posts %
5
Score
1
Posts
5
Posts %
4
Score
5
Posts
24
Posts %
Top posts
View all questions and answers
question
7
Curry Howard correspondence to Predicate Logic?
Jul 13, 2017
answer
5
Type Theory and Principia Mathematica Part IV "Relation Arithmetic"
May 6, 2017
answer
4
Did Date and Darwen's "Third Manifesto" have a lasting impact?
Nov 1, 2018
question
3
An Alternative History of Haskell: being lazy without class?
Feb 12, 2019
answer
3
Curry Howard correspondence to Predicate Logic?
Jul 17, 2017
answer
2
Expressing division in relational algebra in terms of other operations
May 6, 2017
answer
2
Relational calculus to SQL
Nov 6, 2018
answer
1
Relational division
May 7, 2017
answer
1
SQL, optimizing a select statement in relational algebra
May 23, 2017
answer
1
What is the equivalent form of full outer join in relational algebra?
Mar 28, 2018