User Uday Reddy

54 votes

Accepted

Uses of algebraic structures in theoretical computer science

answered Mar 31, 2012 at 9:43

21 votes

What are the differences between logical relations and simulations?

lo.logic pl.programming-languages logical-relations parametricity

answered Feb 27, 2012 at 22:55

19 votes

Accepted

How does inheritance differ from subtyping?

pl.programming-languages type-theory type-systems object-oriented

answered Mar 11, 2012 at 11:15

18 votes

What is the difference between propositions and judgments?

lo.logic pl.programming-languages type-theory

answered Feb 24, 2012 at 1:59

17 votes

Books on programming language semantics

reference-request pl.programming-languages semantics denotational-semantics books

answered Mar 4, 2012 at 7:53

16 votes

What constitutes denotational semantics?

pl.programming-languages big-picture semantics denotational-semantics

answered Feb 26, 2012 at 13:35

15 votes

Data Structure isomorphisms

ds.data-structures algebra ct.category-theory

answered Mar 3, 2012 at 23:47

15 votes

How should I think about proof nets?

lo.logic soft-question pl.programming-languages linear-logic

answered Jan 23, 2013 at 22:21

14 votes

What is the theoretical basis of imperative programming?

imperative-programming pl.programming-languages

answered Feb 24, 2012 at 0:16

13 votes

Accepted

Full Completeness vs Full Abstraction of a program translation

pl.programming-languages ct.category-theory semantics denotational-semantics program-verification

answered Nov 28, 2013 at 23:07

12 votes

How can relational parametricity be motivated?

type-theory parametricity

answered Nov 23, 2013 at 11:38

12 votes

What constitutes denotational semantics?

pl.programming-languages big-picture semantics denotational-semantics

answered Mar 1, 2012 at 9:06

10 votes

What constitutes denotational semantics?

pl.programming-languages big-picture semantics denotational-semantics

answered Mar 8, 2012 at 1:38

10 votes

Accepted

Is propositional resolution a complete proof system?

lo.logic terminology proof-complexity proof-theory resolution

answered Feb 22, 2013 at 20:16

10 votes

Are research papers hard to read?

soft-question research-practice

answered May 28, 2012 at 13:23

9 votes

Accepted

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

pl.programming-languages semantics formal-modeling set-theory object-oriented

answered May 7, 2012 at 1:49

9 votes

Accepted

Reading list on rewriting systems?

lo.logic big-list type-theory lambda-calculus term-rewriting-systems

answered Aug 5, 2012 at 6:34

9 votes

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

soft-question advice-request career

answered Mar 4, 2013 at 14:34

9 votes

What constitutes denotational semantics?

pl.programming-languages big-picture semantics denotational-semantics

answered Feb 28, 2012 at 20:52

8 votes

Accepted

Natural Transformations and Parametricity

reference-request ct.category-theory parametricity

answered Mar 14, 2014 at 18:08

7 votes

What is the folk model of linear logic?

pl.programming-languages ct.category-theory imperative-programming denotational-semantics linear-logic

answered Feb 28, 2012 at 21:13

7 votes

Type classes vs object interfaces

pl.programming-languages type-theory type-systems

answered Mar 7, 2012 at 18:08

7 votes

Why naturals instead of integers?

pl.programming-languages big-picture type-theory

answered Mar 21, 2012 at 8:28

6 votes

Is analogy between database and probability concepts legitimate?

db.databases st.statistics

answered Mar 29, 2012 at 10:30

6 votes

Accepted

Preserving termination when rewriting recursive programs

pl.programming-languages compilers term-rewriting-systems

answered Feb 22, 2013 at 18:07

6 votes

Accepted

What is the origin of logical relations?

reference-request pl.programming-languages denotational-semantics logical-relations

answered Jan 19, 2014 at 2:21

5 votes

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

pl.programming-languages semantics

answered Mar 8, 2013 at 9:08

5 votes

Semantics of concurrent languages

reference-request pl.programming-languages semantics concurrency process-algebra

answered Nov 6, 2012 at 23:36

4 votes

Unary parametricity vs. binary parametricity

lo.logic pl.programming-languages type-systems logical-relations parametricity

answered Jun 4, 2012 at 7:37

4 votes

Regular languages from category-theoretical point of view

fl.formal-languages regular-language ct.category-theory

answered Jun 20, 2012 at 12:09

Stack Exchange Network

current community

your communities

more stack exchange communities

41 Answers

Uses of algebraic structures in theoretical computer science

What are the differences between logical relations and simulations?

How does inheritance differ from subtyping?

What is the difference between propositions and judgments?

Books on programming language semantics

What constitutes denotational semantics?

Data Structure isomorphisms

How should I think about proof nets?

What is the theoretical basis of imperative programming?

Full Completeness vs Full Abstraction of a program translation

How can relational parametricity be motivated?

What constitutes denotational semantics?

What constitutes denotational semantics?

Is propositional resolution a complete proof system?

Are research papers hard to read?

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

Reading list on rewriting systems?

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

What constitutes denotational semantics?

Natural Transformations and Parametricity

What is the folk model of linear logic?

Type classes vs object interfaces

Why naturals instead of integers?

Is analogy between database and probability concepts legitimate?

Preserving termination when rewriting recursive programs

What is the origin of logical relations?

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

Semantics of concurrent languages

Unary parametricity vs. binary parametricity

Regular languages from category-theoretical point of view