Theoretical Computer Science
Gowtham Kaki's user avatar
Gowtham Kaki's user avatar
Gowtham Kaki's user avatar
Gowtham Kaki
  • Member for 9 years, 6 months
  • Last seen more than 5 years ago
Profile Activity
Stats
135
reputation
2k
reached
0
answers
3
questions
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
6
bronze badges
Top tags
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
All Questions Answers
Score Newest
question
10
What is higher-order in higher-order abstract syntax?
Dec 2, 2013
question
2
Abduction in a Herbrand Constraint System
Nov 3, 2015
question
1
How to prove that a circular prop is uninhabited?
May 20, 2014
Top network posts
View all network posts
8
What are arguments to a monad bind operation formally called?
8
Checkpoint and restore the heap in Ruby

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.