Theoretical Computer Science
Profile Activity
Meta user
Network profile
Uday Reddy
Summary Answers Questions Tags Badges Bookmarks Bounties Reputation All actions

41 Answers

Votes Activity Newest
50
Uses of algebraic structures in theoretical computer science
Mar 31 '12 at 9:43
21
What are the differences between logical relations and simulations?
Feb 27 '12 at 22:55
18
How does inheritance differ from subtyping?
Mar 11 '12 at 11:15
18
What is the difference between propositions and judgments?
Feb 24 '12 at 1:59
16
Books on programming language semantics
Mar 4 '12 at 7:53
16
What constitutes denotational semantics?
Feb 26 '12 at 13:35
15
Data Structure isomorphisms
Mar 3 '12 at 23:47
14
How should I think about proof nets?
Jan 23 '13 at 22:21
14
What is the theoretical basis of imperative programming?
Feb 24 '12 at 0:16
12
Full Completeness vs Full Abstraction of a program translation
Nov 28 '13 at 23:07
12
What constitutes denotational semantics?
Mar 1 '12 at 9:06
11
How can relational parametricity be motivated?
Nov 23 '13 at 11:38
10
Is propositional resolution a complete proof system?
Feb 22 '13 at 20:16
10
Are research papers hard to read?
May 28 '12 at 13:23
10
What constitutes denotational semantics?
Mar 8 '12 at 1:38
9
Formal Definition/counter part in mathematics for “Objects” of Object Oriented Models
May 7 '12 at 1:49
9
Can one return to a TCS research job after an excursion to a non-research industry job?
Mar 4 '13 at 14:34
9
What constitutes denotational semantics?
Feb 28 '12 at 20:52
8
Natural Transformations and Parametricity
Mar 14 '14 at 18:08
8
Reading list on rewriting systems?
Aug 5 '12 at 6:34
7
Why naturals instead of integers?
Mar 21 '12 at 8:28
7
What is the folk model of linear logic?
Feb 28 '12 at 21:13
6
What is the origin of logical relations?
Jan 19 '14 at 2:21
6
Preserving termination when rewriting recursive programs
Feb 22 '13 at 18:07
6
Is analogy between database and probability concepts legitimate?
Mar 29 '12 at 10:30
6
Type classes vs object interfaces
Mar 7 '12 at 18:08
5
How to define the formal and informal semantics of an algorithm as accurately as possible?
Mar 8 '13 at 9:08
5
Semantics of concurrent languages
Nov 6 '12 at 23:36
4
Newbie question: Meta-functions?
Feb 18 '13 at 20:57
4
Early References for Transition System Semantics of Programs
Jul 26 '12 at 13:21
1
2