De Bruijn notation

#	Item
1	Mechanized Verification of CPS Transformations Zaynah Dargaye and Xavier Leroy INRIA Paris-Rocquencourt B.P. 105, 78153 Le Chesnay, France [removed], [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-07-30 10:00:27 Mathematical logic Models of computation Logic in computer science Computability theory Formal methods Continuation-passing style Denotational semantics De Bruijn notation De Bruijn index Theoretical computer science Lambda calculus Mathematics
2	Term Indexing for the LEO-II Prover Frank Theiß1 Christoph Benzm¨ uller2 1 FR Informatik, Universit¨at des Saarlandes, Saarbr¨ Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:12:16 Science Searching Mathematical notation Predicate logic Theoretical computer science Free variables and bound variables De Bruijn index De Bruijn notation Variable Mathematics Lambda calculus Information science
3	Why Would You Trust B ? ´ Eric Jaeger1,2 and Catherine Dubois3 1 Add to Reading List Source URL: www.ssi.gouv.fr Language: English - Date: 2012-11-06 05:29:24 Deduction Proof theory Lambda calculus Model theory Entailment First-order logic De Bruijn notation Natural deduction Curry–Howard correspondence Logic Mathematical logic Propositional calculus