Search in the Catalogues and Directories

Hits 1 – 3 of 3

1	λμ-calculus and Λμ-calculus: a Capital Difference
	Herbelin, Hugo; Saurin, Alexis
	In: https://hal.inria.fr/inria-00524942 ; 2009 (2009)
	BASE
	Show details

2	A Proof-Theoretic Foundation of Abortive Continuations
	Ariola, Zena; Herbelin, Hugo; Sabry, Amr
	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
	Herbelin, Hugo; Curien, Pierre-Louis
	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