Recherche - Archive ouverte HAL

2 résultats

	Pour les 2 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Introducing ⦇ λ ⦈, a λ-calculus for effectful computation Jirka Maršík , Maxime Amblard , Philippe de Groote Theoretical Computer Science, 2021, 869, pp.108-155. ⟨10.1016/j.tcs.2021.02.038⟩ Article dans une revue hal-03200474v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		(In)Coherence of discourse 3 Maxime Amblard , Michel Musiol , Manuel Rebuschi , Jirka Maršík , Stefan Jokulsson 2015 Ouvrages hal-01655955v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Filtrer vos résultats