Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein →
Add to Reading List
Document Date: 2014-11-10 04:09:39
Open Document
File Size: 124,54 KB
Share Result on Facebook
Company
Creative Commons /
/
Person
Toby Murray /
/
ProgrammingLanguage
Lambda Calculus /
C /
/
SocialTag
Proof theory
Models of computation
Computability theory
Lambda calculus
Natural deduction
Ordinal number
Curry–Howard correspondence
Symbol
Mathematical logic
Theoretical computer science