Computer Science
choeger
  • Member for 6 years, 10 months
Profile Activity
Stats
600
reputation
3k
reached
2
answers
18
questions
About
Apparently, this user prefers to keep an air of mystery about them.

Communities (21)

Top network posts

This user doesn’t have any gold badges yet.
2
silver badges
8
bronze badges
View all badges

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 →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.