user avatar
user avatar
user avatar
user1868607
  • Member for 6 years, 9 months
  • Last seen this week
2 votes
1 answer
886 views

Automata as term rewriting systems

14 votes
1 answer
466 views

Algebraic topology for termination proofs

7 votes
1 answer
299 views

Cook inspiration for NP completeness

3 votes
1 answer
275 views

Proof and computational complexity

5 votes
2 answers
236 views

Categorical equivalent of higher order logic

5 votes
0 answers
169 views

On the interpretation of coinduction in type theory

2 votes
0 answers
163 views

Types as abstract interpretations

5 votes
1 answer
156 views

Using ϵ -unification and Knuth-Bendix completion to automatically proof theorems about groups

1 vote
1 answer
151 views

Hardness of a class of quadratics

7 votes
1 answer
119 views

Lee's algorithm for synthesis of ranking functions in size-change termination proofs

2 votes
1 answer
117 views

Representable functions on System T

3 votes
0 answers
115 views

Metrics for modelling convergence in the lambda-calculus

0 votes
1 answer
64 views

Deterministic communication complexity of refinement

4 votes
0 answers
56 views

Formalization of Interval Newton methods in a proof assistant or theorem prover

2 votes
1 answer
54 views

Ordering sequences containing bitvectors for size-change termination