Search in the Catalogues and Directories

Hits 1 – 2 of 2

1	Introducing ⦇ λ ⦈, a λ-calculus for effectful computation
	Maršík, Jirka; Amblard, Maxime; de Groote, Philippe
	In: ISSN: 1879-2294 ; EISSN: 0304-3975 ; Theoretical Computer Science ; https://hal.inria.fr/hal-03200474 ; Theoretical Computer Science, Elsevier, 2021, 869, pp.108-155. ⟨10.1016/j.tcs.2021.02.038⟩ (2021)
	BASE
	Show details

2	(In)Coherence of discourse 3
	Amblard, Maxime; Musiol, Michel; Rebuschi, Manuel. - : HAL CCSD, 2015
	In: https://hal.inria.fr/hal-01655955 ; Dec 2015, Nancy, France. 2015 (2015)
	BASE
	Show details