Skip to main content
Theoretical Computer Science
Basil's user avatar
Basil's user avatar
Basil's user avatar
Basil
  • Member for 12 years, 5 months
  • Last seen more than a month ago
Profile Activity
Stats
371
reputation
6k
reached
2
answers
4
questions
Communities
View all
About

Apparently, StackExchange believes I prefer to keep an air of mystery about us.

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
11
bronze badges
Top tags
View all tags
1
Score
3
Posts
50
Posts %
1
Score
1
Posts
17
Posts %
1
Score
1
Posts
17
Posts %
0
Score
4
Posts
67
Posts %
0
Score
3
Posts
50
Posts %
0
Score
2
Posts
33
Posts %
Top posts
question
8
How high are the higher types that appear in practice?
Oct 26, 2014
question
7
In which posets is the set of compact elements downwards closed?
Feb 12, 2015
question
5
Flat vs non-flat domains
Nov 24, 2014
question
5
What are Zhang's molecules?
Jan 5, 2015
answer
1
What's the difference between term rewriting and pattern matching?
Nov 4, 2014
answer
0
Prior work on finding domain-theoretic suprema of equivalent total functions?
Feb 13, 2015
Top network posts
View all network posts
45
What is the most useful non-existing object of your field?
13
Suggestions for good notation
9
Text books on computability
8
Do you have examples of such "transitive" elements?