Network profile

Nikolaj-K

Reputation

501

501
455
409

2018
2019
2020
2021

Top tag

type-theory

Next privilege

1,000 Rep.

See votes

Badges

2

10

Newest

Yearling

Next badge

0/1

Impact

0 posts edited

0 helpful flags

8 votes cast

7 Bookmarks

Votes Activity Newest Views Added

55

votes

3

answers

8k

views

Realizability theory: difference in power between Lambda calculus and Turing Machines

computability lambda-calculus turing-machines

Sep 29 at 23:36 Barry Jay 51

46

votes

5

answers

6k

views

What is the most intuitive dependent type theory I could learn?

lo.logic type-theory dependent-type

Oct 12 '18 at 7:42 BurnsBA 213

33

votes

5

answers

2k

views

Programming languages for efficient computation

cc.complexity-theory computability pl.programming-languages

Mar 22 '16 at 16:18 Community♦ 1

26

votes

5

answers

1k

views

What is the difference between proofs and programs (or between propositions and types)?

lo.logic pl.programming-languages

Mar 5 '11 at 2:54 wren romano 710

22

votes

1

answer

2k

views

What is the difference between arrows and exponential objects in a cartesian closed category?

type-theory lambda-calculus ct.category-theory

May 2 '14 at 13:01 day 2,495

18

votes

3

answers

3k

views

Classification of Typed/Untyped Lambda Calculi

lo.logic type-theory lambda-calculus

Nov 23 '18 at 0:50 Community♦ 1

17

votes

1

answer

862

views

To what extent can the mathematics of Reals be applied to Computable Reals?

computability computing-over-reals topology model-theory

Aug 12 '14 at 19:52 Andrej Bauer 24.8k

Theoretical Computer Science Stack Exchange works best with JavaScript enabled