Back to Results
First PageMeta Content
Mathematical 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 Blanchette
Add to Reading List

Document Date: 2015-01-25 16:18:54


Open Document

File Size: 247,63 KB

Share Result on Facebook