LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » 链接 » 巴黎六大计算机科学实验室日志

GdT programmation / séminaire IRILLRSS

Proving cryptographic schemes in Agda Dependently typed functional programming for Alice and Bob


2012-11-14
报告人 : Nicolas Pouillard (IT University of Copenhagen, DemTech project)
更多具体信息
Emmanuel.Chailloux (at) nulllip6.fr
 Mentions légales
网站导航 |