• 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