Stack Exchange
sign up | log in |

Mathematics
  • Questions
  • Tags
  • Tour
  • Users
  • Ask Question

Mark Reitblatt

less info
meta site favicon meta user | stack exchange network profile network profile
223 reputation
23
bio website cs.cornell.edu/~reitblatt
location Ithaca, NY
age 26
visits member for 2 years, 5 months
seen Feb 13 at 21:09
stats profile views 40

CS PhD Student at Cornell.


223 reputation
bio website cs.cornell.edu/~reitblatt visits member for 2 years, 5 months
23 badges
location Ithaca, NY seen Feb 13 at 21:09
summary answers questions tags badges favorites bounties reputation activity

2 Answers

votes activity newest
5
formal rules for avoiding bound/unbound variable problems in lambda calculus
1
I'm totally confused about this addition problem

223 Reputation

+65 formal rules for avoiding bound/unbound variable problems in lambda calculus
+57 I'm totally confused about this addition problem

0 Questions

votes activity newest
This user has not asked any questions

5 Tags

5
type-theory
5
logic
5
reference-request
1
arithmetic
5
formal-systems

6 Accounts

Theoretical Computer Science Stack Exchange Theoretical Computer Science 1,297 rep 717
Mathematics Stack Exchange Mathematics 223 rep 23
Area 51 Area 51 151 rep 2
Meta Stack Overflow Meta Stack Overflow 101 rep 1
Ask Different Ask Different 101 rep 2
stack exchange network profile view more

5 Badges

recent class name
 Constituent  Supporter
 Yearling  Autobiographer
 Teacher

0 Active bounties

active offered earned
This user has no active bounties

13 Votes Cast

all time   by type  
13 up 3 question
0 down 10 answer
user feed
about faq badges blog chat data legal privacy policy jobs advertising info mobile contact us feedback
Technology Life / Arts Culture / Recreation Science Other
  1. Stack Overflow
  2. Server Fault
  3. Super User
  4. Web Applications
  5. Ask Ubuntu
  6. Webmasters
  7. Game Development
  8. TeX - LaTeX
  1. Programmers
  2. Unix & Linux
  3. Ask Different (Apple)
  4. WordPress Answers
  5. Geographic Information Systems
  6. Electrical Engineering
  7. Android Enthusiasts
  8. IT Security
  1. Database Administrators
  2. Drupal Answers
  3. SharePoint
  4. User Experience
  5. Mathematica
  6. more (14)
  1. Photography
  2. Science Fiction & Fantasy
  3. Seasoned Advice (cooking)
  4. Home Improvement
  5. more (13)
  1. English Language & Usage
  2. Skeptics
  3. Mi Yodeya (Judaism)
  4. Travel
  5. Arqade (gaming)
  6. Bicycles
  7. Role-playing Games
  8. more (22)
  1. Mathematics
  2. Cross Validated (stats)
  3. Theoretical Computer Science
  4. Physics
  5. more (7)
  1. Stack Apps
  2. Meta Stack Overflow
  3. Area 51
  4. Stack Overflow Careers
site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required
rev 2013.5.21.692