![Higher-order functions / Lambda calculus / Functional programming / Functional languages / Critical thinking / Argumentation theory / Haskell / Agda / Apply / Software engineering / Computing / Computer programming Higher-order functions / Lambda calculus / Functional programming / Functional languages / Critical thinking / Argumentation theory / Haskell / Agda / Apply / Software engineering / Computing / Computer programming](https://www.pdfsearch.io/img/3e16856d6bddea94734133efedf8062f.jpg) Date: 2013-06-09 18:39:18Higher-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.Download Document from Web Archive File Size: 230,55 KB
|