SKI combinator calculus

#	Item
1	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 Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-12 19:07:51 Mathematics Automated theorem proving Logic programming Unification Curry–Howard correspondence First-order logic Interpretation Heat equation SKI combinator calculus Mathematical logic Logic Model theory
2	A Structural Approach to Reversible Computation Samson Abramsky Oxford University Computing Laboratory Abstract Reversibility is a key issue in the interface between computation Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:04 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
3	PDF Document Add to Reading List Source URL: www.cs.rice.edu Language: English - 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