NO CoST project
New tools for complexity: semantics and types
Nouveaux outils pour la complexité : sémantique et types

Navigation

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

Proof-nets and boolean circuits

Master’s 2 intership proposal, supervised by Virgile Mogbil, LIPN.
Thursday 12 January 2006. (English|français)
 

In the same section

In the same section
See http://www-lipn.univ-paris13.fr/~mo... (in french).