- 18th
- 04:00 pm
Towards a canonical classical natural deduction system
- 3 comments
11:08 pmThe Two Dualities of Computation: Negative and Fractional Types
- 2 comments
- 19th
- 11:51 am
A Tutorial on Computational Classical Logic and the Sequent Calculus
12:48 pmThe Logical Abstract Machine: a Curry-Howard isomorphism for machine code
- 23rd
- 12:34 am
μμ̃-calculus
- 2 comments
02:45 amZena M. Ariola, Aaron Bohannon, and Amr Sabry. Sequent calculi and abstract machines.
11:18 pmValue Recursion in Monadic Computations
- 24th
- 01:35 am
Delimited Control in OCaml. Oleg Kiselyov
05:50 pmBacktracking, Interleaving, and Terminating Monad Transformers
Profile
xacid
Style Credit
- Style: Neutral Good for Practicality by
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
Expand Cut Tags
No cut tags