Add new attachment

Only authorized users are allowed to upload new attachments.

This page (revision-309) was last changed on 04-Mar-2019 17:29 by hoyrup

This page was created on 20-Jul-2011 09:23 by cortier

Only authorized users are allowed to rename pages.

Only authorized users are allowed to delete pages.

Difference between version and

At line 14 removed 3 lines
!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)
At line 18 removed one line
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.
At line 20 removed 5 lines
\\
''10h00, room A008''
/%
At line 42 added 10 lines
!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 Modified Size Author Changes ... Change note
309 04-Mar-2019 17:29 133.239 kB hoyrup to previous
308 16-Oct-2018 11:09 133.237 kB hoyrup to previous | to last
307 08-Oct-2018 12:39 133.235 kB hoyrup to previous | to last
306 08-Oct-2018 11:50 132.873 kB hoyrup to previous | to last
305 27-Sep-2018 11:25 132.653 kB hoyrup to previous | to last
304 11-Sep-2018 13:16 131.636 kB hoyrup to previous | to last
303 11-Sep-2018 11:52 131.631 kB hoyrup to previous | to last
302 11-Sep-2018 11:43 130.976 kB hoyrup to previous | to last
301 11-Sep-2018 11:42 130.975 kB hoyrup to previous | to last
« This page (revision-309) was last changed on 04-mars-2019 17:29 by hoyrup