Date: 2013-06-09 18:39:18

Higher-order functions

Lambda calculus

Functional programming

Functional languages

Critical thinking

Argumentation theory

Haskell

Agda

Apply

Software engineering

Computing

Computer programming

Towards a framework for the implementation and verification of translations between argumentation models Bas van Gijzel Functional Programming Laboratory School of Computer Science University of Nottingham

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

File Size: 230,55 KB