Skip to Main content Skip to Navigation
Theses

De la construction de preuves à la programmation parallèle en logique linéaire

Guy Perrier 1, 2
1 Prograis
INRIA Lorraine, CRIN - Centre de Recherche en Informatique de Nancy
Abstract : This thesis aims at studying the construction of linear logic proofs and at using it as a paradigm for parallel programming. We show that inference permutability plays a crucial role in the normalization of proofs in linear logic. This method will then help us to choose a suitable fragment of intuitionistic linear logic for developing a process calculus where logical formulas are interpreted as processes and proofs as interactions between the processes.
Document type :
Theses
Complete list of metadata

https://hal.inria.fr/tel-01748580
Contributor : Guy Perrier <>
Submitted on : Monday, April 4, 2016 - 6:32:01 PM
Last modification on : Friday, February 26, 2021 - 3:26:01 PM
Long-term archiving on: : Monday, November 14, 2016 - 3:58:36 PM

Identifiers

  • HAL Id : tel-01748580, version 2

Collections

Citation

Guy Perrier. De la construction de preuves à la programmation parallèle en logique linéaire. Informatique et langage [cs.CL]. Université Henri Poincaré - Nancy 1, 1995. Français. ⟨tel-01748580v2⟩

Share

Metrics

Record views

202

Files downloads

150