Network profile

choeger

Reputation

600

2017
2018
2019
2020

Top tag

semantics

Next privilege

1,000 Rep.

See votes

Badges

Newest

Yearling

Next badge

0/1

Impact

0 posts edited

0 helpful flags

9 votes cast

18 Questions

Votes Activity Newest Views

votes

answer

views

Class of languages that are equivalent to the lambda calculus

Feb 25 '17 at 18:24 David Richerby 77.1k

vote

answers

views

Can you apply the induction hypothesis to its outcome?

logic proof-techniques induction

Feb 15 '17 at 16:34 chi 13.6k

votes

answers

views

Notation for a Kleene fixed point with a starting element

notation fixed-point

Feb 8 '17 at 18:58 choeger 600

vote

answer

views

Termination of a composition of terminating functions

termination

Dec 2 '16 at 8:47 phs 801

votes

answers

326

views

Capture Avoiding Substitution of multiple variables at once

formal-languages lambda-calculus

Nov 28 '16 at 10:20 choeger 600

votes

answers

249

views

Is Semantic Preservation Soundness (or Correctness) or Completeness

terminology logic compilers semantics

Oct 21 '16 at 13:06 Hans Hüttel 2,360

votes

answers

119

views

Is structural induction on terms applicable when a function is involved?

proof-techniques correctness-proof semantics induction

Oct 19 '16 at 23:58 Gilles 'SO- stop being evil' 37.9k

votes

answers

views

Termination of deterministic term rewriting

recursion term-rewriting operational-semantics termination

Oct 15 '16 at 15:09 choeger 600

votes

answers

views

Reasonable definition of beta-equivalence in big-step semantics

lambda-calculus operational-semantics equality

Oct 11 '16 at 20:39 choeger 600

votes

answers

views

Structural induction in non-local program transformation

recursion functional-programming correctness-proof induction software-verification

Sep 26 '16 at 15:55 Raphael♦ 67.4k

votes

answers

views

Typed representation of a memory model

computation-models encoding-scheme domain-specific-languages

Jul 22 '16 at 6:44 choeger 600

vote

answers

265

views

Compression of a complete Directed Acylcic Graph

graphs data-compression dag

Jun 16 '16 at 17:59 choeger 600

votes

answer

114

views

Common name for inverse of beta reduction

terminology lambda-calculus

Jun 6 '16 at 12:27 Gilles 'SO- stop being evil' 37.9k

votes

answer

views

Inference rule with two conclusions or rather inverse function application

formal-languages programming-languages correctness-proof

Oct 7 '15 at 7:09 Andrej Bauer 23.6k

votes

answer

187

views

Proof by induction over rules for mutually recursive relations

proof-techniques recursion induction

Jul 13 '15 at 11:03 Community♦ 1

votes

answer

views

Identity productions in regular grammar

regular-languages formal-grammars

May 17 '15 at 14:08 Hendrik Jan 23.5k

vote

answers

views

Complete Partial Order of Partial Functions with Different Outputs

partial-order

Apr 5 '15 at 9:24 David Richerby 77.1k

vote

answer

views

Substitution-based Operational Semantics of algebraic datatypes

functional-programming semantics operational-semantics

Feb 27 '15 at 0:19 Community♦ 1

Stack Exchange Network

current community

your communities

more stack exchange communities

Next privilege

Next badge

18 Questions

Class of languages that are equivalent to the lambda calculus

Can you apply the induction hypothesis to its outcome?

Notation for a Kleene fixed point with a starting element

Termination of a composition of terminating functions

Capture Avoiding Substitution of multiple variables at once

Is Semantic Preservation Soundness (or Correctness) or Completeness

Is structural induction on terms applicable when a function is involved?

Termination of deterministic term rewriting

Reasonable definition of beta-equivalence in big-step semantics

Structural induction in non-local program transformation

Typed representation of a memory model

Compression of a complete Directed Acylcic Graph

Common name for inverse of beta reduction

Inference rule with two conclusions or rather inverse function application

Proof by induction over rules for mutually recursive relations

Identity productions in regular grammar

Complete Partial Order of Partial Functions with Different Outputs

Substitution-based Operational Semantics of algebraic datatypes