Profile Activity

Charles Stewart

Network profile

Reputation

4,186

4.2k
3.9k
3.7k

2016
2017
2018
2019

Top tag

lo.logic

Next privilege

5,000 Rep.

Approve tag wiki edits

Badges

23

45

Newest

Yearling

Next badge

199/300

Impact

15 posts edited

10 helpful flags

199 votes cast

Summary Answers Questions Tags Badges Favorites Bounties Reputation All actions

5 Questions

Views Newest Activity Votes

2

16

votes

1

answer

650

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

401

views

Extensions of beta-theory of lambda calculus

lambda-calculus

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

5

15

votes

2

answers

448

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

272

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

471

views

What applications of Cantor space are there?

reference-request semantics topology computable-analysis

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

Theoretical Computer Science Stack Exchange works best with JavaScript enabled