Network profile

Gilles 'SO- stop being evil'

Reputation

2,587

2.6k
2.4k
2.1k

2018
2019
2020
2021

Top tag

lo.logic

Next privilege

3,000 Rep.

Cast close & reopen votes

Badges

1

24

35

Newest

Nice Answer

Next badge

441/600

Impact

20 posts edited

168 helpful flags

906 votes cast

11 Bookmarks

Votes Activity Newest Views Added

42

votes

4

answers

2k

views

Why have we not been able to develop a unified complexity theory of distributed computing?

big-picture dc.distributed-comp

Jun 14 '17 at 17:11 lamba 131

39

votes

9

answers

22k

views

What is the difference between non-determinism and randomness?

automata-theory randomness computability

Oct 6 '15 at 9:00 Nikos M. 561

35

votes

8

answers

2k

views

Higher-order algorithms

ds.algorithms functional-programming ds.data-structures pl.programming-languages

Jun 12 '12 at 12:32 Community♦ 1

29

votes

3

answers

2k

views

Curry-Howard and programs from non-constructive proofs

lo.logic pl.programming-languages proof-theory

Mar 20 '11 at 14:11 Community♦ 1

25

votes

5

answers

3k

views

Recovering a parse forest from an Earley parser?

fl.formal-languages parsing

Nov 16 at 16:58 Jeremy Dohmann 11

24

votes

2

answers

2k

views

Why do Agda and Coq disagree on strict positivity?

type-theory coq

Sep 2 '13 at 3:45 Colin Gordon 441

22

votes

6

answers

776

views

Curriculum: Logical/Formal Methods in Security

lo.logic cr.crypto-security teaching security formal-methods

Jan 20 '12 at 1:16 Community♦ 1

19

votes

4

answers

2k

views

How are side effects handled in semantics?

imperative-programming semantics big-picture

May 16 '13 at 8:07 Charles Stewart 4,246

15

votes

1

answer

359

views

How to show that a type in a system with dependent types is not inhabited (i.e. formula not provable)?

lo.logic dependent-type model-theory calculus-of-constructions

Oct 28 '12 at 3:53 Andrej Bauer 24.8k

14

votes

4

answers

690

views

Is eta-equivalence for functions compatiable with Haskell's seq operation?

domain-theory haskell extensionality

Apr 7 '14 at 10:26 Blaisorblade 1,949

12

votes

3

answers

727

views

How is duality of types defined?

lo.logic type-theory

Nov 28 '12 at 18:03 Martin Berger 9,973

Theoretical Computer Science Stack Exchange works best with JavaScript enabled