Customize

1. You can enlarge the whole site (character size and with) by using the browser function to change characters size.

2. To your right it is possible to change the character size, font, spacing, characters and letters as well as adjust the colours. This will have consequences for the appearance of the whole website design. It will effect all pages at the University  of Gothenburg's website. The changes will remain the next time you log in. (To save your changes the browser must allow cookies.)

*Changes has been made to the look of this website


  • Home
  • Type-based Human-Computer Interaction

Type-based Human-Computer Interaction

Sourcetitle: 
TYPES 2013: Types for Proofs and Programs
Year of publication: 
2013
PublicationType: 
Conference paper - peer reviewed

http://gup.ub.gu.se/records/fulltext/189694/189694.pdf

To the top

Page updated: 2013-12-19 09:24

Send as email
Print page
Show as pdf

X
Loading