First Page | Document Content | |
---|---|---|
Date: 2006-06-26 16:40:00Mathematical logic Combinatory logic Church encoding SKI combinator calculus Function Calculus Currying Fixed-point combinator Lambda calculus Theoretical computer science Mathematics | Add to Reading ListSource URL: www.cs.rice.eduDownload Document from Source WebsiteFile Size: 70,14 KBShare Document on Facebook |
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, FrancDocID: 11Ufr - View Document | |
A Structural Approach to Reversible Computation Samson Abramsky Oxford University Computing Laboratory Abstract Reversibility is a key issue in the interface between computationDocID: 6ozE - View Document | |
PDF DocumentDocID: 18DX - View Document |