Computer Science
Meta user
Network profile
600
reputation
2
8

choeger

Apparently, this user prefers to keep an air of mystery about them.

2
answers
18
questions
~2k
people reached
  • Member for 5 years
  • 10 profile views
  • Last seen Jun 11 at 15:08

Communities (19)

Top network posts

Top tags (32)

Score 2
Posts 4
Posts % 20
Score 2
Posts 4
Score 2
Posts 3
Score 0
Posts 4
Score 0
Posts 4
Score 0
Posts 3
View all tags →

Top posts (20) All Questions Answers | Votes Newest

7 Is Semantic Preservation Soundness (or Correctness) or Completeness Oct 19 '16
6 Capture Avoiding Substitution of multiple variables at once Nov 28 '16
5 Proof by induction over rules for mutually recursive relations Jul 13 '15
4 Is structural induction on terms applicable when a function is involved? Oct 19 '16
4 Inference rule with two conclusions or rather inverse function application Oct 6 '15
3 Notation for a Kleene fixed point with a starting element Jan 8 '17
3 Termination of deterministic term rewriting Oct 15 '16
3 Common name for inverse of beta reduction Jun 6 '16
2 Structural induction in non-local program transformation Sep 26 '16
2 Typed representation of a memory model Jul 21 '16
View all questions and answers →

Badges (10)

Gold

—

Silver

2

Rarest

Bronze

8

Rarest

View all badges →