Computer Science
Profile Activity
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
~3k
people reached
  • Member for 6 years, 2 months
  • 11 profile views
  • Last seen Mar 30 '20 at 13:44

Communities (20)

Top network posts

Top tags (0)

This user has not participated in any 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 →