Concepedia

Thosten Altenkirch

TA

Statistics

Publications

1

Citations

67

H-Index

1

Active since

2015

Affiliations

University of Nottingham(Current)

Thosten Altenkirch is an author at University of Nottingham specializing in language studies, engineering, and computer science.

Top concepts

Publications per year

2015–2015

1

Publications

1

Monads need not be endofunctors

Thosten Altenkirch, James Chapman, Tarmo Uustalu · Logical Methods in Computer Science · 2015 · 67 citations · Full text

, , +12

Rows per page

1–1 of 1