codd

less info

network profile

316 reputation

18

bio	website
	location
	age
visits	member for	1 year, 2 months
	seen	May 14 at 11:04
stats	profile views	14

summary answers questions tags badges favorites bounties reputation activity

5 Questions

votes activity newest

8	Confluence proof for a simple rewriting system
7	A lambda calculus evaluation involving Church numerals
7	How is the key in a private key encryption protocol exchanged?
5	What was going on before PAC learning
4	Why are lambda-abstractions the only terms that are values in the untyped lambda calculus?

316 Reputation

+10	What was going on before PAC learning
+25	What was going on before PAC learning
+5	Why are lambda-abstractions the only terms that are values in the untyped lambda calculus?
+10	List of intro TCS books for those who don't know much about TCS

view more

2 Answers

votes activity newest

4	List of intro TCS books for those who don't know much about TCS
1	What was going on before PAC learning

10 Tags

4 education	0 encryption
1 machine-learning × 2	0 cryptography
1 soft-question × 2	0 semantics
0 logic × 3	0 proof-techniques
0 lambda-calculus × 2	0 rewriting-systems

9 Accounts

	Computer Science	316 rep	18
$TeX - LaTeX Stack Exchange$	TeX - LaTeX	234 rep	14
	Stack Overflow	225 rep	112
	Area 51	151 rep
$Mathematics Stack Exchange$	Mathematics	145 rep	3

9 Badges

recent class name

Yearling	Student
Commentator	Editor
Citizen Patrol	Teacher
Scholar	Supporter
Autobiographer

0 Active bounties

active offered earned

This user has no active bounties

25 Votes Cast

all time			by type			month
25	up		13	question		1
0	down		12	answer		1

Technology			Life / Arts	Culture / Recreation	Science	Other
Stack Overflow Server Fault Super User Web Applications Ask Ubuntu Webmasters Game Development TeX - LaTeX	Programmers Unix & Linux Ask Different (Apple) WordPress Answers Geographic Information Systems Electrical Engineering Android Enthusiasts IT Security	Database Administrators Drupal Answers SharePoint User Experience Mathematica more (14)	Photography Science Fiction & Fantasy Seasoned Advice (cooking) Home Improvement more (13)	English Language & Usage Skeptics Mi Yodeya (Judaism) Travel Arqade (gaming) Bicycles Role-playing Games more (22)	Mathematics Cross Validated (stats) Theoretical Computer Science Physics more (7)	Stack Apps Meta Stack Overflow Area 51 Stack Overflow Careers

site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required

rev 2013.5.17.690