Network profile

Charles Stewart

Reputation

4,256

4.3k
4.1k
3.9k

2018
2019
2020
2021

Top tag

lo.logic

Next privilege

5,000 Rep.

Approve tag wiki edits

Badges

25

45

Newest

Good Answer

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

698

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

426

views

Extensions of beta-theory of lambda calculus

lambda-calculus

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

5

15

votes

2

answers

483

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

515

views

What applications of Cantor space are there?

reference-request semantics topology computable-analysis

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

Theoretical Computer Science Stack Exchange works best with JavaScript enabled