User Pushpa

21 votes

1 answer

3k views

Difference between Dependent type , refinement type and Hoare Logic

asked Mar 26, 2016 at 7:01

17 votes

2 answers

3k views

Strict positivity

asked Apr 7, 2016 at 19:17

5 votes

4 answers

208 views

How to use Type application Rule to get a desired type

asked Apr 1, 2016 at 17:02

5 votes

1 answer

181 views

Advances in recent time in Von-neumann self replication idea

asked Dec 24, 2015 at 3:08

4 votes

3 answers

394 views

How Types avoids Russel's Paradox?

asked Aug 5, 2016 at 5:43

4 votes

1 answer

725 views

Family of types in type theory

asked Apr 5, 2016 at 6:17

4 votes

0 answers

162 views

Answer Set Program to SAT translation

asked Sep 29, 2020 at 19:39

3 votes

3 answers

1k views

Represent there are infinitely many in FOL

asked Jul 18, 2018 at 0:58

2 votes

1 answer

209 views

Encoding set of At-Most-One constraints as a MAX-SAT problem

asked Jan 1, 2020 at 16:11

2 votes

0 answers

179 views

Curry howard isomorphism "proof as program"

asked Oct 30, 2016 at 21:22

2 votes

1 answer

164 views

Variable rule in dependent type theory

asked Mar 31, 2016 at 7:23

2 votes

2 answers

87 views

Meaning of , and ; in relation to defining context

asked Apr 1, 2016 at 18:16

1 vote

0 answers

79 views

DML , ML with restricted dependent types

asked Apr 8, 2016 at 16:22

1 vote

0 answers

521 views

Type inference and Type checking

asked Apr 1, 2016 at 7:10

1 vote

1 answer

285 views

Encoding the pigeonhole principle in CBMC

asked Nov 16, 2014 at 13:33

1 vote

0 answers

53 views

Curry howard Isomorphism what the propositions A , B ranges over

asked Oct 30, 2016 at 21:35

1 vote

0 answers

242 views

Understanding quantifiers

asked Apr 17, 2017 at 17:17

1 vote

1 answer

477 views

Integer programming to MAX-SAT translation

asked Dec 20, 2019 at 9:53

0 votes

1 answer

59 views

Verification condition in case of array theory

asked Apr 24, 2017 at 11:52

0 votes

1 answer

191 views

Indexing a dependent type on a value?

asked Apr 8, 2016 at 17:47

Stack Exchange Network

20 Questions

Difference between Dependent type , refinement type and Hoare Logic

Strict positivity

How to use Type application Rule to get a desired type

Advances in recent time in Von-neumann self replication idea

How Types avoids Russel's Paradox?

Family of types in type theory

Answer Set Program to SAT translation

Represent there are infinitely many in FOL

Encoding set of At-Most-One constraints as a MAX-SAT problem

Curry howard isomorphism "proof as program"

Variable rule in dependent type theory

Meaning of , and ; in relation to defining context

DML , ML with restricted dependent types

Type inference and Type checking

Encoding the pigeonhole principle in CBMC

Curry howard Isomorphism what the propositions A , B ranges over

Understanding quantifiers

Integer programming to MAX-SAT translation

Verification condition in case of array theory

Indexing a dependent type on a value?