BibTeX

@inProceedings{ljunglof-2013-type-189694,
	title        = {Type-based Human-Computer Interaction},
	booktitle    = {TYPES 2013: Types for Proofs and Programs},
	author       = {Ljunglöf, Peter},
	year         = {2013},
}