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

41 Answers

Votes Activity Newest
53
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
19
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
17
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
Reading list on rewriting systems?
Aug 5 '12 at 6:34
9
What constitutes denotational semantics?
Feb 28 '12 at 20:52
8
Natural Transformations and Parametricity
Mar 14 '14 at 18:08
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

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.