HIGHLIGHTS
- who: Benedikt Ahrens from the School of Computer Science, University of Birmingham, Birmingham, UK have published the Article: From Signatures to Monads in UniMath, in the Journal: (JOURNAL)
- what: This work has partly been funded by the CoqHoTT ERC Grant School of Computer Science University of Birmingham Birmingham UK IRIT (CNRS and Université de Toulouse) Toulouse France School of Computer Science Carnegie Mellon University Pittsburgh USA Department of Computer Science and Engineering University of Gothenburg Gothenburg Sweden B. et_al The aim of this restriction to a minimal "practical" type theory is to make a formal . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.