![Domain-Specific Languages of Mathematics: Jansson, Patrik, Ionescu, Cezar, Bernardy, Jean-Philippe: 9781848903883: Amazon.com: Books Domain-Specific Languages of Mathematics: Jansson, Patrik, Ionescu, Cezar, Bernardy, Jean-Philippe: 9781848903883: Amazon.com: Books](https://m.media-amazon.com/images/I/41-ax7fNDwL._SR600%2C315_PIWhiteStrip%2CBottomLeft%2C0%2C35_SCLZZZZZZZ_FMpng_BG255%2C255%2C255.jpg)
Domain-Specific Languages of Mathematics: Jansson, Patrik, Ionescu, Cezar, Bernardy, Jean-Philippe: 9781848903883: Amazon.com: Books
![Jean-Philippe BERNARDY | Programmer | University of Gothenburg, Göteborg | GU | Department of Philosophy, Linguistics and Theory of Science Jean-Philippe BERNARDY | Programmer | University of Gothenburg, Göteborg | GU | Department of Philosophy, Linguistics and Theory of Science](https://c5.rgstatic.net/m/437738464651637/images/template/default/profile/profile_default_l.jpg)
Jean-Philippe BERNARDY | Programmer | University of Gothenburg, Göteborg | GU | Department of Philosophy, Linguistics and Theory of Science
![Probabilistic Approaches to Linguistic Theory by Jean-Philippe Bernardy, Paperback | Barnes & Noble® Probabilistic Approaches to Linguistic Theory by Jean-Philippe Bernardy, Paperback | Barnes & Noble®](https://prodimage.images-bn.com/mimages/0000000000000_p0_v0_s600x595.jpg)
Probabilistic Approaches to Linguistic Theory by Jean-Philippe Bernardy, Paperback | Barnes & Noble®
Names For Free — Polymorphic Views of Names and Binders Jean-Philippe Bernardy Chalmers University ofTechnology and University
![Domain-Specific Languages of Mathematics: Jansson, Patrik, Ionescu, Cezar, Bernardy, Jean-Philippe: 9781848903883: Amazon.com: Books Domain-Specific Languages of Mathematics: Jansson, Patrik, Ionescu, Cezar, Bernardy, Jean-Philippe: 9781848903883: Amazon.com: Books](https://m.media-amazon.com/images/I/41-ax7fNDwL._AC_SY780_.jpg)
Domain-Specific Languages of Mathematics: Jansson, Patrik, Ionescu, Cezar, Bernardy, Jean-Philippe: 9781848903883: Amazon.com: Books
Shalom Lappin University of Gothenburg, King's College London and Queen Mary University of London Joint work with Jean-Philippe
![Patrik Jansson (@patrikja@types.pl) on Twitter: "The book has finally arrived in the mail. Nice to have a real physical copy in my hands! Domain-Specific Languages of Mathematics Book: https://t.co/wzdgIEoluv Course: https://t.co/42YNJAyyCG @cse_gbg @ Patrik Jansson (@patrikja@types.pl) on Twitter: "The book has finally arrived in the mail. Nice to have a real physical copy in my hands! Domain-Specific Languages of Mathematics Book: https://t.co/wzdgIEoluv Course: https://t.co/42YNJAyyCG @cse_gbg @](https://pbs.twimg.com/media/FKBdIJyXoAIi4S_.jpg:large)
Patrik Jansson (@patrikja@types.pl) on Twitter: "The book has finally arrived in the mail. Nice to have a real physical copy in my hands! Domain-Specific Languages of Mathematics Book: https://t.co/wzdgIEoluv Course: https://t.co/42YNJAyyCG @cse_gbg @
![Parametricity and Dependent Types by Jean-Philippe Bernardy, Patrik Jansson and Ross Paterson on Vimeo Parametricity and Dependent Types by Jean-Philippe Bernardy, Patrik Jansson and Ross Paterson on Vimeo](https://i.vimeocdn.com/filter/overlay?src0=https%3A%2F%2Fi.vimeocdn.com%2Fvideo%2F101419782-f5097f2f20e9fb91cdab854c73fb95cc6e95e171127514b9958c8692b4d0c5da-d_1280x960&src1=https%3A%2F%2Ff.vimeocdn.com%2Fimages_v6%2Fshare%2Fplay_icon_overlay.png)