1. Tour
  2. About Us
  3. Meta
Loading…
  1. current community

    • Stack Exchange
      chat
    • Meta Stack Exchange

    your communities

    Sign up or log in to customize your list.

    more stack exchange communities

    company blog
  2. Log in

Stack Exchange

  • All Sites
  • Top Users
  • Digests

Pushpa

top accounts reputation activity subscriptions
Top Questions
21 votes

Difference between Dependent type , refinement type and Hoare Logic

dependent-types hoare-logic asked Mar 26, 2016 at 7:01
cs.stackexchange.com

17 votes

Strict positivity

type-theory inductive-datatypes asked Apr 7, 2016 at 19:17
cs.stackexchange.com

15 votes

What is the best path to learn Category theory and Type theory?

category-theory homotopy-theory type-theory asked Dec 7, 2014 at 7:44
math.stackexchange.com

6 votes

Types are erased before run time

types compilation type-erasure agda type-theory asked Apr 4, 2016 at 2:54
stackoverflow.com

5 votes

Advances in recent time in Von-neumann self replication idea

turing-machines computation-models asked Dec 24, 2015 at 3:08
cs.stackexchange.com

5 votes

How to use Type application Rule to get a desired type

type-theory asked Apr 1, 2016 at 17:02
cs.stackexchange.com


Top Answers
7
Checking formulas with two quantifiers ($\forall \exists$) - 2QBF
cstheory.stackexchange.com


Stack Exchange
  • About
  • Contact
  • Feedback
Company
  • Stack Overflow
  • Teams
  • Advertising
  • Collectives
  • Talent
  • Press
  • Legal
  • Privacy Policy
  • Terms of Service
  • Cookie Settings
  • Cookie Policy
Stack Exchange Network
  • Technology
  • Culture & recreation
  • Life & arts
  • Science
  • Professional
  • Business
  • API
  • Data
  • Blog
  • Facebook
  • Twitter
  • LinkedIn
  • Instagram

Site design / logo © 2023 Stack Exchange Inc; user contributions licensed under CC BY-SA. rev 2023.10.3.43658