<--- Back to Details
First PageDocument Content
Mathematical logic / Combinatory logic / Church encoding / SKI combinator calculus / Function / Calculus / Currying / Fixed-point combinator / Lambda calculus / Theoretical computer science / Mathematics
Date: 2006-06-26 16:40:00
Mathematical logic
Combinatory logic
Church encoding
SKI combinator calculus
Function
Calculus
Currying
Fixed-point combinator
Lambda calculus
Theoretical computer science
Mathematics

Add to Reading List

Source URL: www.cs.rice.edu

Download Document from Source Website

File Size: 70,14 KB

Share Document on Facebook

Similar Documents

Mathematics / Automated theorem proving / Logic programming / Unification / Curry–Howard correspondence / First-order logic / Interpretation / Heat equation / SKI combinator calculus / Mathematical logic / Logic / Model theory

A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds1 and Jasmin Christian Blanchette2,3 1 École Polytechnique Fédérale de Lausanne (EPFL), Switzerland 2 Inria Nancy & LORIA, Villers-lès-Nancy, Franc

DocID: 11Ufr - View Document

Mathematical logic / Models of computation / Logic in computer science / Combinatory logic / Digital electronics / Fixed-point combinator / Function / Reversible computing / SKI combinator calculus / Theoretical computer science / Mathematics / Lambda calculus

A Structural Approach to Reversible Computation Samson Abramsky Oxford University Computing Laboratory Abstract Reversibility is a key issue in the interface between computation

DocID: 6ozE - View Document

Mathematical logic / Combinatory logic / Church encoding / SKI combinator calculus / Function / Calculus / Currying / Fixed-point combinator / Lambda calculus / Theoretical computer science / Mathematics

PDF Document

DocID: 18DX - View Document