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
|