"Curry-Howard isomorphism." . . "Computational logic." . . "logiciel - développement programmation par fonctions." . . "Software engineering." . . "Functional programming (Computer science)" . . "Models and Principles" . . "Models and Principles." . "Programmering." . . "Software Engineering/Programming and Operating Systems" . . "Software Engineering/Programming and Operating Systems." . "Types abstraits de données (Informatique)" . . "Mathématiques intuitionnistes." . . "MATHEMATICS Logic." . . "Automatisches Beweisverfahren." . . "Lambda-calcul." . . "Lambda calculus." . . "Logique mathématique." . . "Computer science." . . "Computer Science." . "Algebraische Methode." . . "Proof theory." . . "Curry-Howard, Isomorphisme de." . . "computerbesturingssystemen." . . "Mathematische logica." . . "Mathematical Logic and Foundations" . . "Mathematical Logic and Foundations." . "Formale Methode." . . "Electronic books." . . "Softwareentwicklung." . . "Computer. Informatica. Automatisering." . . "Logics and Meanings of Programs" . . "Logics and Meanings of Programs." . "Théorie de la preuve." . . "Théorie des types." . . "type de données abstraites." . . "Théorie de la démonstration." . . "ontwerpen." . . "programmation par fonctions." . . "Theoretische informatica." . . "Logique symbolique et mathématique." . . "Programmsynthese." . . "Abstract data types (Computer science)" . . "Informatique." . . "Programming Techniques" . . "Programming Techniques." . . . . . . . "Adapting Proofs-as-Programs The Curry-Howard Protocol" . . "Adapting proofs as programs the Curry Howard protocol" . . "Electronic books" . "Electronic books"@en . . . "Adapting proofs-as-programs : the Curry-Howard protocol"@en . "Adapting proofs-as-programs : the Curry-Howard protocol" . . . . . . "Adapting proof-as-programs the Curry-Howard protocol" . . . . . . . . . . . . . . . . . "Adapting Proofs-as-programs The Curry-Howard Protocol"@en . "Ressources Internet" . . . "Online-Publikation" . . . . . "Adapting Proofs-as-Programs the Curry-Howard Protocol" . "Adapting Proofs-as-Programs the Curry-Howard Protocol"@en . . . . . . "Adapting Proofs-as-Programs : The Curry-Howard Protocol" . . . . . . . . . "Adapting proofs-as-programs the Curry-Howard protocol"@en . . . "Adapting proofs-as-programs the Curry-Howard protocol" . . . . . . . . . . . "Details developments in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems."@en . . . . . . . . . . . . . . . . "Adapting proof-as-programs : the Curry-Howard protocol" . . . . . . . . . . . . . . . . . . . . "Logic, Symbolic and mathematical." . . "preuve - théorie." . . "Programmation fonctionnelle." . . "calcul Lambda." . . . . "Logic design." . . "Logic Design." . "MATHEMATICS Infinity." . . "informatica." . . "wiskunde." . . "programmeren (informatica)" . . "Logique intuitionniste." . . "Logica." . . "logica." . "Funktionale Programmierung." . .