1 |
λμ-calculus and Λμ-calculus: a Capital Difference
|
|
|
|
In: https://hal.inria.fr/inria-00524942 ; 2009 (2009)
|
|
BASE
|
|
Show details
|
|
2 |
A Proof-Theoretic Foundation of Abortive Continuations
|
|
|
|
In: ISSN: 1388-3690 ; EISSN: 1573-0557 ; Higher-Order and Symbolic Computation ; https://hal.inria.fr/hal-00697242 ; Higher-Order and Symbolic Computation, Springer Verlag, 2007, 20 (4), ⟨10.1007/s10990-007-9007-z⟩ (2007)
|
|
BASE
|
|
Show details
|
|
3 |
The duality of computation
|
|
|
|
In: Fifth ACM SIGPLAN International Conference on Functional Programming : ICFP '00 ; https://hal.inria.fr/inria-00156377 ; Fifth ACM SIGPLAN International Conference on Functional Programming : ICFP '00, Sep 2000, Montréal, Canada. pp.233-243 (2000)
|
|
BASE
|
|
Show details
|
|
|
|