'Gijzel' web sites
Bas van gijzel academic wobsite
www.cs.nott.ac.uk 2016-01-09 ⚑r&d ⚑tech
gijzel Academic Wobsite Bas van gijzel I m a final year research PhD student in the Functional Programming Lab of the School of Computer Science at the University of Nottingham. My supervisor is Henrik Nilsson. My current avenue of research is about relating, implementing and generalising formal models of argumentation through the Curry.Howard isomorphism, functional programming techniques and a pinch of category theory. Some of
www.cs.nott.ac.uk 2016-01-09 ⚑r&d ⚑tech
gijzel Academic Wobsite Bas van gijzel I m a final year research PhD student in the Functional Programming Lab of the School of Computer Science at the University of Nottingham. My supervisor is Henrik Nilsson. My current avenue of research is about relating, implementing and generalising formal models of argumentation through the Curry.Howard isomorphism, functional programming techniques and a pinch of category theory. Some of
MORE
ⓘ
Henrik nilsson home page
gijzel Robert Mitchelmore co.supervisor Past PhD Students George Giorgidze Neil Sculthorpe Ond 345;ej Ryp 269;ek co.supervisor Midlands Graduate School The Midlands Graduate School MGS in the Foundations of Computing Science was established in 1999 as a collaboration between researchers at the Universities of Birmingham, Leicester, and Nottingham. I organised the Midlands Graduate School 2007, which was hosted here in Nottingam,
cs.nott
No cookies are saved on your client
We are completely no-profit and volunteers
Use robots.txt to block indexing
Contact us via email for other removals
Read DMCA Policy
CopyLeft by GiPOCO 2006-2023
Contact us to contribute
info (at) gipoco.com
All trade marks, contents, etc
belong to their respective owners