#philippus-baldaeus

8 collections 8 auteurs 8 ouvrages trié(s) par

Documents

LIX janvier

David Baelde

Documents

Etudes supérieures

LIX janvier

David Baelde

39 pages

Lire

An overview of Structural Proof Theory and Computing

Documents

An overview of Structural Proof Theory and Computing

Dale Miller

An overview of Structural Proof Theory and Computing

Documents

Etudes supérieures

An overview of Structural Proof Theory and Computing

Dale Miller

28 pages

English

Lire

A proof theoretical journey through programming model checking and

Documents

A proof theoretical journey through programming model checking and

David Baelde

A proof theoretical journey through programming model checking and

Documents

Etudes supérieures

A proof theoretical journey through programming model checking and

David Baelde

26 pages

English

Lire

Exploiting non canonicity in the sequent calculus

Documents

Exploiting non canonicity in the sequent calculus

Jean - Marc Andreoli

Exploiting non canonicity in the sequent calculus

Documents

Rapports de stage

Exploiting non canonicity in the sequent calculus

Jean - Marc Andreoli

163 pages

English

Lire

Least and greatest fixed points in linear logic

Documents

Least and greatest fixed points in linear logic

David Baelde

Least and greatest fixed points in linear logic

Documents

Rapports de stage

Least and greatest fixed points in linear logic

David Baelde

15 pages

English

Lire

On the proof theory of regular fixed points

Documents

On the proof theory of regular fixed points

David Baelde

On the proof theory of regular fixed points

Documents

Rapports de stage

On the proof theory of regular fixed points

David Baelde

15 pages

English

Lire

On focusing and polarities in linear logic and intuitionistic logic Chuck Liang

Documents

On focusing and polarities in linear logic and intuitionistic logic Chuck Liang

On focusing and polarities in linear logic and intuitionistic logic Chuck Liang

Documents

Rapports de stage

On focusing and polarities in linear logic and intuitionistic logic Chuck Liang

68 pages

English

Lire

Least and greatest xed points in linear logic Extended Version

Documents

Least and greatest xed points in linear logic Extended Version

David Baelde

Least and greatest xed points in linear logic Extended Version

Documents

Rapports de stage

Least and greatest xed points in linear logic Extended Version

David Baelde

22 pages

English

Lire

Aucun résultat à afficher.

1