unset title  > Manifestation_plural > Séminaire LCR (2010)  login
 
search

Séminaire LCR (2010)

shared_uid506
titleSéminaire LCR
typeSéminaire
year2010
start_date2010/11/15
stop_date2011/04/18
schedule14h-15h
activeno
websitehttp://www-lipn.univ-paris13.fr/actualites/category/Seminaires
responsiblesPoibeau
hosted_by
Laboratoire d'Informatique de Paris Nord - LIPN
event_of_object
Un calcul de coercitions qui prouve la normalisation forte de MLF
Full Abstraction for Resource Calculus with Tests
Une critique de la notion d'information en biologie et un modèle de la complexité phénotypique au cours de l'évolution comme “anti-entropie”
Algebraic type systems
Quantum programming languages and logical approaches to quantum information theory.
On quantum lambda calculi
Quantum programming languages and logical approaches to quantum information theory.
Quantum programming languages and logical approaches to quantum information theory
Manifestation #150118 - latest update on 2010/07/01, created on 2007/12/05
Help | About this site | Powered by CubicWeb