Deductive lambda calculus - PDFSEARCH.IO - Document Search Engine

Deductive lambda calculus
Results: 7

#	Item
1	1 Abstraction as a Means for End-User Computing in Creative Applications Mira Balaban () Eli Barzilay () Add to Reading List Source URL: barzilay.org Language: English - Date: 2003-03-11 03:26:58 Abstraction Theoretical computer science Lambda calculus Software engineering Cognitive science Models of computation Logic in computer science Data management Combinatory logic Factory Deductive lambda calculus
2	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2012-04-25 09:32:10 Set theory Principia Mathematica Science Extensionality Axiom of extensionality Intensional Intension Intuitionistic type theory Deductive lambda calculus
3	A/z-CALCULUS: INTERPRETATION NATURAL AN Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-04 07:32:04 Proof theory Logic in computer science Constructivism Non-classical logic Deductive reasoning Natural deduction Sequent calculus CurryHoward correspondence Intuitionistic logic Lambda calculus Negation Sequent
4	Microsoft PowerPoint - Lect06higher_order_procedures6.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-09-28 10:06:16 Lambda calculus Subroutines Functional programming Anonymous function Parameter Scheme ALGOL 68 Church encoding Deductive lambda calculus
5	Type theory and proof assistants answers 1. λx : a → b → c. λy : b. λz : a. xzy (This term corresponds to the proof Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Proof theory Lambda calculus Logic in computer science Deductive reasoning Natural deduction Combinatory logic
6	A type system for Continuation Calculus Herman Geuvers joint work with Bram Geron (Birmingham), Wouter Geraedts (Nijmegen), Judith van Stegeren (Nijmegen) Radboud University Nijmegen and Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2014-05-12 17:59:36 Lambda calculus Type theory Mathematical logic Theoretical computer science Software engineering Computability theory System F Calculus Continuation Church encoding Deductive lambda calculus
7	P A R T D Datalog and Recursion Add to Reading List Source URL: webdam.inria.fr Language: English - Date: 2010-02-12 06:45:46 Logic Datalog Deductive database Prolog Recursion SQL Logic programming Lambda calculus Function Computing Mathematics Query languages