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

Functional languages

Procedural programming languages

Logic in computer science

Isabelle

ML

OCaml

Lawrence Paulson

Logic for Computable Functions

Programming language

Software engineering

Computing

Computer programming

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

File Size: 1,05 MB