30420130403002
Simply typed lambda-calculus modulo isomorphisms
Chapter 2
22C:19 Discrete Structures Logic and Proof Spring 2014 Sukumar Ghosh.
Pablo A. Parrilo ETH Zürich SOS Relaxations for System Analysis: Possibilities and Perspectives Pablo A. Parrilo ETH Zürich control.ee.ethz.ch/~parrilo.
Lightweight Consistency Enforcement Schemes for Distributed Proofs with Hidden Subtrees Adam J. Lee, Kazuhiro Minami, and Marianne Winslett University.
Automatic Generation and Analysis of NIDS Attacks
Outline
Correctness Proofs
22C:19 Discrete Math Logic and Proof
22C:19 Discrete Structures Logic and Proof