Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

4 Results
authFullName_s : Laurent Kott
Image document

A formal proof system for infinitary rational expressions

Philippe Darondeau , Laurent Kott
[Research Report] RR-0218, INRIA. 1983
Reports inria-00076340v1
Image document

Unfold/fold program transformations

Laurent Kott
[Research Report] RR-0155, INRIA. 1982
Reports inria-00076404v1
Image document

Recursion induction principle revisited

Gérard Boudol , Laurent Kott
[Research Report] RR-0115, INRIA. 1982
Reports inria-00076445v1
Image document

On the observational semantics of fair parallelism

Philippe Darondeau , Laurent Kott
[Research Report] RR-0262, INRIA. 1983
Reports inria-00076296v1