Stack Exchange
sign up | log in | chat | meta | about | faq

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

plmday

less info
stack exchange network profile network profile
165 reputation
5
bio website
location
age
visits member for 1 year, 11 months
seen May 4 at 15:38
stats profile views 5

165 reputation
bio website visits member for 1 year, 11 months
5 badges
location seen May 4 at 15:38
summary answers questions tags badges favorites bounties reputation activity

4 Questions

votes activity newest
4
What's wrong with this inference in natural deduction?
3
What is the so-called eigenvariable or parameter in natural deduction?
1
Universal quantification via lambda binding?
0
What is the notion for this arrow in category theory?

165 Reputation

+5 Universal quantification via lambda binding?
+20 Universal quantification via lambda binding?
+10 What's wrong with this inference in natural deduction?
+5 What is the so-called eigenvariable or parameter in natural deduction?
view more

1 Answer

votes activity newest
2
Universal quantification via lambda binding?

4 Tags

2
logic × 3
0
proof-theory × 2
2
lambda-calculus × 2
0
category-theory

10 Accounts

Theoretical Computer Science Stack Exchange Theoretical Computer Science 877 rep 213
Stack Overflow Stack Overflow 368 rep 313
Mathematics Stack Exchange Mathematics 165 rep 5
TeX - LaTeX Stack Exchange TeX - LaTeX 158 rep 4
Unix & Linux Stack Exchange Unix & Linux 155 rep 5
stack exchange network profile view more

5 Badges

recent class name
 Teacher  Student
 Tumbleweed  Supporter
 Scholar

0 Active bounties

active offered earned
This user has no active bounties

6 Votes Cast

all time   by type  
6 up 1 question
0 down 5 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.17.690