Network profile

Gilles 'SO- stop being evil'

Reputation

2,527

2.5k
2.3k
2k

2017
2018
2019
2020

Top tag

lo.logic

Next privilege

3,000 Rep.

Cast close & reopen votes

Badges

1

23

33

Newest

Yearling

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

21k

views

What is the difference between non-determinism and randomness?

automata-theory randomness computability

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

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

Jun 12 '18 at 18:10 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

765

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,226

15

votes

1

answer

353

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.1k

14

votes

4

answers

641

views

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

domain-theory haskell extensionality

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

12

votes

3

answers

720

views

How is duality of types defined?

lo.logic type-theory

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

Theoretical Computer Science Stack Exchange works best with JavaScript enabled