Network profile

Marc Hamann

Reputation

2,754

2.8k
2.6k
2.5k

2017
2018
2019
2020

Top tag

pl.programming-languages

Next privilege

3,000 Rep.

Cast close & reopen votes

Badges

1

21

22

Newest

Yearling

Next badge

0/1

Impact

0 posts edited

0 helpful flags

346 votes cast

Answers (23)

Votes Activity Newest

31	Is JSON a Regular Language?
30	What constitutes denotational semantics?
20	Why naturals instead of integers?
17	Church's Theorem and Gödel's Incompleteness Theorems
11	In what sense are coroutines dual to (sub)routines?

View more →

Reputation (2,754)

This user has no recent positive reputation changes

View more →

Questions (2)

Votes Activity Newest

30	Origins and applications of Theory A vs Theory B?
14	Proof assistant formalizations of Finite Model Theory

Tags (36)

94 pl.programming-languages × 9	35 regular-language × 2
88 lo.logic × 13	31 fl.formal-languages
53 big-picture × 3	31 regular-expressions
46 type-theory × 5	30 denotational-semantics
44 semantics × 3	21 soft-question × 3

View more →

Bookmarks (1)

Votes Activity Newest Views Added

25	What is the folk model of linear logic?

Accounts (5)

	Theoretical Computer Science	2,754 rep	1 gold badge21 silver badges22 bronze badges
	Mathematics	111 rep	2 bronze badges
	Stack Overflow	101 rep	2 bronze badges
	TeX - LaTeX	101 rep	1 bronze badge
	Computer Science	101 rep	1 bronze badge

Badges (23)

Recent Class Name

Yearling × 10	Good Question
Enlightened × 3	Popular Question
Nice Answer × 7	Autobiographer
Notable Question	Constituent × 2
Good Answer × 2	Caucus × 2

View more →

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast (346)

all time			by type
344	up		140	question
2	down		206	answer

Theoretical Computer Science Stack Exchange works best with JavaScript enabled