Network profile

Nikolaj-K

Reputation

491

501
460
419

2018
2019
2020
2021

Top tag

type-theory

Next privilege

500 Rep.

Access review queues

Badges

2

10

Newest

Yearling

Next badge

8/10

Impact

0 posts edited

0 helpful flags

8 votes cast

6 Questions

Votes Activity Newest Views

3

15

votes

1

answer

426

views

Minimal specification of Martin-Löf type theory

type-theory

Nov 10 '14 at 11:32 Andrej Bauer 25k

2

10

votes

1

answer

154

views

Relating univalence for a theory of cateogries to the skeleton concept

type-theory ct.category-theory dependent-type equivalence homotopy-type-theory

Nov 2 '14 at 19:51 Andrej Bauer 25k

3

votes

1

answer

336

views

Constructing terms of function types out of the empty type

type-theory lambda-calculus function

Dec 2 '14 at 9:26 Community♦ 1

3

votes

0

answers

78

views

Which are the rewriting systems corresponding to the levels of the computatational hierarchy?

term-rewriting-systems

Dec 12 '13 at 22:57 Nikolaj-K 491

3

votes

0

answers

107

views

When can an inner existential quantifier be eliminated in favour of a function relating terms?

lo.logic

Jun 28 '13 at 9:51 Community♦ 1

0

votes

2

answers

148

views

Efficiently converting an ascending sequence to a sorted sequence one at a time

ds.algorithms

Dec 29 '11 at 5:17 Kris 143

Theoretical Computer Science Stack Exchange works best with JavaScript enabled