51![Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany](https://www.pdfsearch.io/img/f8fa4821c7d872835eb0e8214b5b1316.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2015-01-25 16:18:54
|
---|
52![Encoding Monomorphic and Polymorphic Types Jasmin Christian Blanchette1 , Sascha Böhme1 , Andrei Popescu1 , and Nicholas Smallbone2 1 2 Encoding Monomorphic and Polymorphic Types Jasmin Christian Blanchette1 , Sascha Böhme1 , Andrei Popescu1 , and Nicholas Smallbone2 1 2](https://www.pdfsearch.io/img/4eedc2b290e9c1cab26a15a641046af9.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2015-01-25 16:18:54
|
---|
53![Friends with Benefits Implementing Foundational Corecursion in Proof Assistants Jasmin Christian Blanchette Aymeric Bouzy Friends with Benefits Implementing Foundational Corecursion in Proof Assistants Jasmin Christian Blanchette Aymeric Bouzy](https://www.pdfsearch.io/img/4dfecc6b5304ec2fe1aa88779a6f1a4b.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2016-07-18 12:57:54
|
---|
54![Jasmin RASHID, Politisch instrumentalisiert? Heiligtümer und Kultstätten in Syrakus bis zum Ende des 5. Jh. v. Chr. Studien zur Geschichtsforschung des Altertums Bd. 28. Hamburg: Verlag Dr. Kovač 2014, 264 S. Religion Jasmin RASHID, Politisch instrumentalisiert? Heiligtümer und Kultstätten in Syrakus bis zum Ende des 5. Jh. v. Chr. Studien zur Geschichtsforschung des Altertums Bd. 28. Hamburg: Verlag Dr. Kovač 2014, 264 S. Religion](https://www.pdfsearch.io/img/94b114ff5c923055095ad07a8ec49a33.jpg) | Add to Reading ListSource URL: gfa.gbv.deLanguage: German - Date: 2015-11-11 07:43:20
|
---|
55![Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei Popescu Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei Popescu](https://www.pdfsearch.io/img/2c72f3f83785cdb308266474b71bdc28.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2016-02-11 10:23:52
|
---|
56![Jasmin Christian Blanchette AugustPersonal Information Jasmin Christian Blanchette AugustPersonal Information](https://www.pdfsearch.io/img/bfb2802e118a61b9ca87568c5ab07f35.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2016-08-14 09:31:55
|
---|
57![LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom](https://www.pdfsearch.io/img/2963b0c1fda1ff47118432bd0846c07f.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2015-01-25 16:18:54
|
---|
58![Noname manuscript No. (will be inserted by the editor) A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds · Jasmin Christian Blanchette Noname manuscript No. (will be inserted by the editor) A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds · Jasmin Christian Blanchette](https://www.pdfsearch.io/img/ec4ee5457b14b80d44cc0f34dc17c2c1.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2016-03-02 06:43:58
|
---|
59![Mining the Archive of Formal Proofs? Jasmin Christian Blanchette1,2 , Maximilian Haslbeck3 , Daniel Matichuk4,5 , and Tobias Nipkow3 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Mining the Archive of Formal Proofs? Jasmin Christian Blanchette1,2 , Maximilian Haslbeck3 , Daniel Matichuk4,5 , and Tobias Nipkow3 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik,](https://www.pdfsearch.io/img/54daa27d1ebc1fde8859eda5d073efc5.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2015-05-09 06:37:36
|
---|
60![Cardinals in Isabelle/HOL Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 1 2 Cardinals in Isabelle/HOL Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 1 2](https://www.pdfsearch.io/img/3e3c7af0050b054323027ada10ac1c9b.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2015-01-25 16:18:54
|
---|