LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Liên kết » Các sự kiện tổ chức tại LIP6

GdT programmation / séminaire IRILLRSS

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


14-11-2012
Người thuyết trình : Nicolas Pouillard (IT University of Copenhagen, DemTech project)
Biết thêm chi tiết
Emmanuel.Chailloux (at) nulllip6.fr
 Mentions légales
Sơ đồ site |