GitHub repository: kandersen/higher-order-ni
Primary language: Coq
Created: 2015-06-03T09:03:29Z
Description: A Mechanization of Lambda-Sec as described in Zdancewic's Thesis (2002)