Stack Exchange Network

Stack Exchange network consists of 176 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
Loading…
  1. 0
  2. +0
    • Tour Start here for a quick overview of the site
    • Help Center Detailed answers to any questions you might have
    • Meta Discuss the workings and policies of this site
    • About Us Learn more about Stack Overflow the company
    • Business Learn more about hiring developers or posting ads with us
  3. Log in Sign up
  4. current community

    • Theoretical Computer Science
      help chat
    • Theoretical Computer Science Meta

    your communities

    Sign up or log in to customize your list.

    more stack exchange communities

    company blog
Theoretical Computer Science
  1. Home
    1. Questions
    2. Tags
    3. Users
    4. Unanswered
    5. Jobs
Profile Activity
Meta user
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
Custodian

Impact

~7k
people reached
0 posts edited
0 helpful flags
8 votes cast
Summary Answers Questions Tags Badges Bookmarks Bounties Reputation All actions

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
  • Tour
  • Help
  • Chat
  • Contact
  • Feedback
  • Mobile
Company
  • Stack Overflow
  • For Teams
  • Advertise With Us
  • Hire a Developer
  • Developer Jobs
  • About
  • Press
  • Legal
  • Privacy Policy
  • Terms of Service
Stack Exchange
Network
  • Technology
  • Life / Arts
  • Culture / Recreation
  • Science
  • Other
  • Stack Overflow
  • Server Fault
  • Super User
  • Web Applications
  • Ask Ubuntu
  • Webmasters
  • Game Development
  • TeX - LaTeX
  • Software Engineering
  • Unix & Linux
  • Ask Different (Apple)
  • WordPress Development
  • Geographic Information Systems
  • Electrical Engineering
  • Android Enthusiasts
  • Information Security
  • Database Administrators
  • Drupal Answers
  • SharePoint
  • User Experience
  • Mathematica
  • Salesforce
  • ExpressionEngine® Answers
  • Stack Overflow em Português
  • Blender
  • Network Engineering
  • Cryptography
  • Code Review
  • Magento
  • Software Recommendations
  • Signal Processing
  • Emacs
  • Raspberry Pi
  • Stack Overflow на русском
  • Code Golf
  • Stack Overflow en español
  • Ethereum
  • Data Science
  • Arduino
  • Bitcoin
  • Software Quality Assurance & Testing
  • Sound Design
  • Windows Phone
  • more (28)
  • Photography
  • Science Fiction & Fantasy
  • Graphic Design
  • Movies & TV
  • Music: Practice & Theory
  • Worldbuilding
  • Video Production
  • Seasoned Advice (cooking)
  • Home Improvement
  • Personal Finance & Money
  • Academia
  • Law
  • Physical Fitness
  • Gardening & Landscaping
  • Parenting
  • more (10)
  • English Language & Usage
  • Skeptics
  • Mi Yodeya (Judaism)
  • Travel
  • Christianity
  • English Language Learners
  • Japanese Language
  • Chinese Language
  • French Language
  • German Language
  • Biblical Hermeneutics
  • History
  • Spanish Language
  • Islam
  • Русский язык
  • Russian Language
  • Arqade (gaming)
  • Bicycles
  • Role-playing Games
  • Anime & Manga
  • Puzzling
  • Motor Vehicle Maintenance & Repair
  • Board & Card Games
  • Bricks
  • Homebrewing
  • Martial Arts
  • The Great Outdoors
  • Poker
  • Chess
  • Sports
  • more (16)
  • MathOverflow
  • Mathematics
  • Cross Validated (stats)
  • Theoretical Computer Science
  • Physics
  • Chemistry
  • Biology
  • Computer Science
  • Philosophy
  • Linguistics
  • Psychology & Neuroscience
  • Computational Science
  • more (10)
  • Meta Stack Exchange
  • Stack Apps
  • API
  • Data
  • Blog
  • Facebook
  • Twitter
  • LinkedIn
  • Instagram

site design / logo © 2021 Stack Exchange Inc; user contributions licensed under cc by-sa. rev 2021.1.18.38333