Dependent Types and Fibred Computational Effects Danel Ahman1 (joint work with Neil Ghani2 and Gordon Plotkin1 ) 1 2 - Gordon - Document - PDFSEARCH.IO

First Page	Meta Content
	Dependent Types and Fibred Computational Effects Danel Ahman1 (joint work with Neil Ghani2 and Gordon Plotkin1 ) 1 2 Add to Reading List Document Date: 2018-03-25 20:15:13 Open Document File Size: 296,37 KB Share Result on Facebook

Dependent Types and Fibred Computational Effects Danel Ahman1 (joint work with Neil Ghani2 and Gordon Plotkin1 ) 1 2Add to Reading List