Blanchette, Jasmin Christian
- Foundational Extensible Corecursion
2015/01/22 by Jasmin Christian Blanchette, Blanchette, Jasmin Christian, Andrei Popescu +3 · 1 citation
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Logic, Reasoning, and Knowledge