Ajouter un attachement

Seuls les utilisateurs autorisés peuvent publier de nouveaux attachements.

Cette page (révision-308) a été modifiée pour la dernière fois le 16-oct.-2018 11:09 par hoyrup

Cette page a été créée le 20-juil.-2011 09:23 par cortier

Seuls les utilisateurs autorisés ont le droit de renommer des pages.

Seuls les utilisateurs authentifiés ont le droit de supprimer des pages.

Différences entre les versions et

En ligne 14, suppression de 3 lignes
!Tuesday, October 16
%%(border: 1px solid #aaa; margin:1em 2.5%; padding:0.5em; background:#f9f9f9)
__HOpi in Coq : Locally Nameless vs Nominal.__ [Sergueï Lenglet|https://members.loria.fr/SLenglet/] (Loria, UL)
En ligne 18, suppression de une ligne
I will present what I did during my sabbatical in Rennes : the formalization of a higher-order process calculus, i.e., a process algebra where messages contain executable processes. I will discuss in particular the problem of representing binders, and compare existing techniques (locally nameless and nominal) in that setting.
En ligne 20, suppression de 5 lignes
\\
''10h00, room A008''
/%
En ligne 42, ajout de 10 lignes
!Tuesday, October 16
%%(border: 1px solid #aaa; margin:1em 2.5%; padding:0.5em; background:#f9f9f9)
__HOpi in Coq : Locally Nameless vs Nominal.__ [Sergueï Lenglet|https://members.loria.fr/SLenglet/] (Loria, UL)
I will present what I did during my sabbatical in Rennes : the formalization of a higher-order process calculus, i.e., a process algebra where messages contain executable processes. I will discuss in particular the problem of representing binders, and compare existing techniques (locally nameless and nominal) in that setting.
\\
''10h00, room A008''
/%
Version Date de modification Taille Auteur Modifications... Modifier la note
308 16-oct.-2018 11:09 133,237 ko hoyrup au précédent
307 08-oct.-2018 12:39 133,235 ko hoyrup au précédent | au suivant
306 08-oct.-2018 11:50 132,873 ko hoyrup au précédent | au suivant
305 27-sept.-2018 11:25 132,653 ko hoyrup au précédent | au suivant
304 11-sept.-2018 13:16 131,636 ko hoyrup au précédent | au suivant
303 11-sept.-2018 11:52 131,631 ko hoyrup au précédent | au suivant
302 11-sept.-2018 11:43 130,976 ko hoyrup au précédent | au suivant
301 11-sept.-2018 11:42 130,975 ko hoyrup au précédent | au suivant
« Cette page (révision-308) a été modifiée pour la dernière fois le 16-oct.-2018 11:09 par hoyrup