-calculus Classical Realizability Channels and their reduction

First Page		Document Content
Date: 2014-10-13 07:48:11 Type theory Mathematical constructivism Realizability Stack Type system Calculus C Programming language theory Software engineering Computing		-calculus Classical Realizability Channels and their reduction Add to Reading List Source URL: lepigre.fr Download Document from Source Website File Size: 1,24 MB Share Document on Facebook