Network profile

Charles Stewart

Reputation

4,226

4.2k
4k
3.8k

2017
2018
2019
2020

Top tag

lo.logic

Next privilege

5,000 Rep.

Approve tag wiki edits

Badges

23

45

Newest

Announcer

Next badge

199/300

Impact

15 posts edited

10 helpful flags

199 votes cast

5 Questions

Votes Activity Newest Views

2

16

votes

1

answer

681

views

Seeking Scott's original LCF paper

reference-request lo.logic type-theory domain-theory

Jun 10 '11 at 18:04 Dana Scott 376

2

16

votes

1

answer

425

views

Extensions of beta-theory of lambda calculus

lambda-calculus

Sep 2 '10 at 9:35 Charles Stewart 4,226

5

15

votes

2

answers

477

views

Are there intermediate eta theories for the lambda calculus?

lo.logic lambda-calculus extensionality

Mar 24 '14 at 8:12 Community♦ 1

1

14

votes

1

answer

295

views

Characterising invisible equivalences by confluent rewrite rules

pl.programming-languages lambda-calculus lo.logic

Aug 30 '10 at 12:15 Community♦ 1

2

4

votes

3

answers

493

views

What applications of Cantor space are there?

reference-request semantics topology computable-analysis

Aug 29 '10 at 0:27 David Eppstein 48.8k

Theoretical Computer Science Stack Exchange works best with JavaScript enabled