Date: 2014-08-27 06:04:04

Logic in computer science

Formal methods

Type theory

Functional languages

Isabelle

Lambda calculus

HOL

Id

System F

Theoretical computer science

Applied mathematics

Programming language theory

Tobias Nipkow Programming and Proving in Isabelle/HOL le l

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 479,52 KB