Tour
About Us
Meta
Loading…
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
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 works best with JavaScript enabled