Picture of social media icons against a pciture of the planet earth

Open Access research that better understands human-computer interaction...

Strathprints makes available scholarly Open Access content by researchers within the Department of Computer & Information Sciences working as part of the Strathclyde iSchool Research Group (SiRG). The SiRG specialises in understanding how people search for information and explores interactive search tools that support their information seeking and retrieval tasks. Research work also includes investigations into information engagement habits of users, particularly in the domains of digital health and social media.

Explore some of this Open Access research from the Departments of Computer & Information Sciences.

Or explore all of Strathclyde's Open Access research...

Browse by ISBN

Group by: Authors | Item type | No Grouping
Jump to: A
Number of items: 1.


Altenkirch, Thorsten and Capriotti, Paolo and Dijkstra, Gabe and Kraus, Nicolai and Nordvall Forsberg, Fredrik; Baier, Christel and Dal Lago, Ugo, eds. (2018) Quotient inductive-inductive types. In: Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, Cham, pp. 293-310. ISBN 978-3-319-89365-5

This list was generated on Mon May 16 06:08:52 2022 BST.