Symbolic Logic for Complexity- theoretic Model of Security Protocols Anupam Datta Ante Derek John C. Mitchell Vitaly Shmatikov Mathieu Turuani May 5, 2005.
Slides 01 1 Type-Free λ-Calculus The λ-calculus is a family of prototype programming languages invented by the logician, Alonzo Church, in the 1930's.
9/17/2015Hilbertův kalkul1 Přednáška 12 Důkazové kalkuly Kalkul Hilbertova typu.
Logika a log. p rogramov ání Důkazové kalkuly, Kalkul Hilbertova typu (12. přednáška)
1/5/2016Hilbertův kalkul1 Lecture 12 Hilbert-like calculus.
Logika a log. p rogramov ání Principy důkazových kalkulů Přirozená dedukce (11.přednáška)
Computational Soundness for PCL Dilsun Kaynar Carnegie Mellon University Foundations of Security and Privacy October 11, 2007.