plmday

less info

network profile

887 reputation

214

bio	website
	location
	age
visits	member for	2 years, 9 months
	seen	May 15 at 12:16
stats	profile views	127

summary answers questions tags badges favorites bounties reputation activity

18 Questions

votes activity newest

23	What is the difference between proofs and programs (or between propositions and types)?
17	What is the difference between propositions and judgments?
11	Is contextual equivalence of a language with `quote`-`eval` trivial or not?
11	What happens if we try to extract a witness but it actually does not exist from a term of existential type?
10	How is duality of types defined?

view more

887 Reputation

+10	What is the benefit of Krivine's notation?
+5	What's the relation and difference between Calculus of Inductive Constructions and Intuitionistic Type Theory?
+45	What is the difference between arrows and exponential types in the cartesian closed category?
-2	A few questions about Object-Oriented Languages in general

view more

0 Answers

votes activity newest

This user has not answered any questions

21 Tags

0 lo.logic × 9	0 computability × 2
0 type-theory × 8	0 natural-deduction
0 pl.programming-languages × 6	0 soft-question
0 lambda-calculus × 4	0 lisp
0 proof-theory × 2	0 scheme

view more

10 Accounts

	Theoretical Computer Science	887 rep	214
	Stack Overflow	395 rep	313
$Mathematics Stack Exchange$	Mathematics	170 rep	5
$TeX - LaTeX Stack Exchange$	TeX - LaTeX	158 rep	4
	Unix & Linux	155 rep	5

10 Badges

recent class name

Popular Question	Commentator
Teacher	Supporter
Nice Question × 6	Editor
Yearling × 2	Student
Critic	Scholar

0 Active bounties

active offered earned

This user has no active bounties

30 Votes Cast

all time			by type
30	up		4	question
0	down		26	answer

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 Christianity Arqade (gaming) Bicycles Role-playing Games more (21)	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.6.19.749

Theoretical Computer Science Stack Exchange works best with JavaScript enabled