Venanzio Capretta. Abstraction and computation - type theory, algebraic structures, and recursive functions. Univ. Nijmegen, 2002.
@book{0011486, title = {Abstraction and computation - type theory, algebraic structures, and recursive functions}, author = {Venanzio Capretta}, year = {2002}, tags = { algebra, type theory, abstraction}, researchr = {https://researchr.org/publication/0011486}, cites = {0}, citedby = {0}, publisher = {Univ. Nijmegen}, isbn = {978-90-9015738-2}, }