Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
bread_juice
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
2 ms
·
1.
▲
by
bread_juice
6y ago
I'm not an expert, so please take the following with the grain of salt. One of the examples of computation formalisms providing the classical logic at the type level is the Parigot's [λμ-calculus]( https://en.wikipedia.o
2.
▲
by
bread_juice
7y ago
That's fantastic! Being a lecturer at one of the universities I am very grateful to this research. It changes my perspective.