Newest Stories by HenriTuhola
Home
Recent
Comments
Search
Login
7
Chu construction on linear logic
compsci
haskell
plt
python
boxbase.org
authored by
HenriTuhola
2 months ago

cached

no comments
0
8
Modeling tower of hanoi in linear logic
compsci
formalmethods
plt
boxbase.org
authored by
HenriTuhola
3 months ago

cached

no comments
0
6
Explaining formal proofs
formalmethods
plt
boxbase.org
authored by
HenriTuhola
5 months ago

cached

10 comments
10
2
Study into exact real arithmetic Pt. 1&2
☶
compsci
haskell
plt
boxbase.org
authored by
HenriTuhola
5 months ago

cached

no comments
0
8
Contradiction in divide by zero
compsci
plt
boxbase.org
authored by
HenriTuhola
6 months ago

cached

2 comments
2
5
Dialogical logic resolution algorithm with sound negation
plt
boxbase.org
authored by
HenriTuhola
7 months ago

cached

no comments
0
8
Dialogical logic programming
plt
boxbase.org
authored by
HenriTuhola
7 months ago

cached

1 comment
1
8
Null references was a mistake, but what's the takeaway?
culture
plt
programming
rant
boxbase.org
authored by
HenriTuhola
7 months ago

cached

6 comments
6
25
Thoughts for a new minimal markup language
☶
ask
show
compsci
plt
authored by
HenriTuhola
9 months ago

17 comments
17
2
Help needed: Static typing and algebra
☶
compilers
compsci
math
plt
authored by
HenriTuhola
1 year ago

1 comment
1
7
Types and Indeterminates
ml
plt
boxbase.org
authored by
HenriTuhola
1 year ago

cached

2 comments
2
5
Happy extra rare new year + solution to leap second problem
compsci
historical
practices
programming
boxbase.org
authored by
HenriTuhola
1 year ago

cached

2 comments
2
6
How should the addition expression behave?
☶
compilers
programming
boxbase.org
authored by
HenriTuhola
1 year ago

cached

5 comments
5