![Mathematical logic / Logic / Model theory / Mathematics / Computability theory / Models of computation / Formal languages / Lambda calculus / Theoretical computer science / First-order logic / Structure / Interpretation Mathematical logic / Logic / Model theory / Mathematics / Computability theory / Models of computation / Formal languages / Lambda calculus / Theoretical computer science / First-order logic / Structure / Interpretation](https://www.pdfsearch.io/img/169dc7cd0152b77e94cfdaf245803cca.jpg) Date: 2015-01-25 16:18:54Mathematical logic Logic Model theory Mathematics Computability theory Models of computation Formal languages Lambda calculus Theoretical computer science First-order logic Structure Interpretation | | Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian BlanchetteAdd to Reading ListSource URL: people.mpi-inf.mpg.deDownload Document from Source Website File Size: 247,63 KBShare Document on Facebook
|