The Fire Triangle

Pierre-Marie Pédrot; Nicolas Tabareau

doi:10.1145/3371126

Home
Submit
Browse
Search
Documentation

Journal articles

The Fire Triangle: How to Mix Substitution, Dependent Elimination, and Effects

Pierre-Marie Pédrot ^{1, 2} Nicolas Tabareau ^{1, 2}

1 GALLINETTE - Gallinette : vers une nouvelle génération d'assistant à la preuve

Inria Rennes – Bretagne Atlantique , LS2N - Laboratoire des Sciences du Numérique de Nantes

2 LS2N - Laboratoire des Sciences du Numérique de Nantes

Pierre-Marie Pédrot ^{1, 2} AuthorId : 808824

Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : pierre-marie-pedrot

Nicolas Tabareau ^{1, 2} AuthorId : 76131

Author IdHAL : nicolas-tabareau

1 GALLINETTE - Gallinette : vers une nouvelle génération d'assistant à la preuve (France) StructId : 495900

Inria Rennes – Bretagne Atlantique (Campus de beaulieu 35042 Rennes cedex - France) StructId : 419153
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
LS2N - Laboratoire des Sciences du Numérique de Nantes (Université de Nantes – faculté des Sciences et Techniques (FST) 2 Chemin de la Houssinière BP 92208, 44322 Nantes Cedex 3 - France) StructId : 473973
- Université de Nantes - Faculté des Sciences et des Techniques (2, rue de la Houssinière - BP 92208 - 44322 Nantes cedex 3 - France) StructId : 97058
  - UN - Université de Nantes (1, quai de Tourville - BP 13522 - 44035 Nantes cedex 1 - France) StructId : 93263
- ECN - École Centrale de Nantes (1 rue de la Noë - BP 92101 - 44321 Nantes cedex 3 - France) StructId : 111023
- CNRS - Centre National de la Recherche Scientifique : UMR6004 (France) StructId : 441569
- IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 - Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES - Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France) StructId : 481355
  - IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France) StructId : 302102

2 LS2N - Laboratoire des Sciences du Numérique de Nantes (Université de Nantes – faculté des Sciences et Techniques (FST) 2 Chemin de la Houssinière BP 92208, 44322 Nantes Cedex 3 - France) StructId : 473973

Université de Nantes - Faculté des Sciences et des Techniques (2, rue de la Houssinière - BP 92208 - 44322 Nantes cedex 3 - France) StructId : 97058
- UN - Université de Nantes (1, quai de Tourville - BP 13522 - 44035 Nantes cedex 1 - France) StructId : 93263
ECN - École Centrale de Nantes (1 rue de la Noë - BP 92101 - 44321 Nantes cedex 3 - France) StructId : 111023
CNRS - Centre National de la Recherche Scientifique : UMR6004 (France) StructId : 441569
IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 - Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES - Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France) StructId : 481355
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France) StructId : 302102

Document type :

Journal articles

Domain :

Computer Science [cs] / Computation and Language [cs.CL]

Complete list of metadatas

Cited literature [30 references] Display Hide Download

https://hal.archives-ouvertes.fr/hal-02383109
Contributor : Pierre-Marie Pédrot <>
Submitted on : Wednesday, November 27, 2019 - 3:27:50 PM
Last modification on : Tuesday, January 5, 2021 - 4:26:24 PM

File

main.pdf

Files produced by the author(s)

Identifiers

HAL Id : hal-02383109, version 1
DOI : 10.1145/3371126

Collections

Citation

Pierre-Marie Pédrot, Nicolas Tabareau. The Fire Triangle: How to Mix Substitution, Dependent Elimination, and Effects. Proceedings of the ACM on Programming Languages, ACM, 2020, pp.1-28. ⟨10.1145/3371126⟩. ⟨hal-02383109⟩

Export

BibTeX TEI DC DCterms EndNote

Metrics

Record views

353

Files downloads