COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein → - Curry–Howard correspondence - Document - PDFSEARCH.IO

First Page	Meta Content
	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

COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein →Add to Reading List