user avatar
user avatar
user avatar
Uday Reddy
  • Member for 10 years, 4 months
  • Last seen more than a month ago
54 votes
Accepted

Uses of algebraic structures in theoretical computer science

21 votes

What are the differences between logical relations and simulations?

19 votes
Accepted

How does inheritance differ from subtyping?

18 votes

What is the difference between propositions and judgments?

17 votes

Books on programming language semantics

16 votes

What constitutes denotational semantics?

15 votes

Data Structure isomorphisms

15 votes

How should I think about proof nets?

14 votes

What is the theoretical basis of imperative programming?

13 votes
Accepted

Full Completeness vs Full Abstraction of a program translation

12 votes

How can relational parametricity be motivated?

12 votes

What constitutes denotational semantics?

10 votes

What constitutes denotational semantics?

10 votes
Accepted

Is propositional resolution a complete proof system?

10 votes

Are research papers hard to read?

9 votes
Accepted

Formal Definition/counter part in mathematics for “Objects” of Object Oriented Models

9 votes
Accepted

Reading list on rewriting systems?

9 votes

Can one return to a TCS research job after an excursion to a non-research industry job?

9 votes

What constitutes denotational semantics?

8 votes
Accepted

Natural Transformations and Parametricity

7 votes

What is the folk model of linear logic?

7 votes

Type classes vs object interfaces

7 votes

Why naturals instead of integers?

6 votes

Is analogy between database and probability concepts legitimate?

6 votes
Accepted

Preserving termination when rewriting recursive programs

6 votes
Accepted

What is the origin of logical relations?

5 votes

How to define the formal and informal semantics of an algorithm as accurately as possible?

5 votes

Semantics of concurrent languages

4 votes

Unary parametricity vs. binary parametricity

4 votes

Regular languages from category-theoretical point of view