Autor:	Altenkirch, T., Chaudhuri, K., Dowek, G., Felty, A., Filinski, A., Miculan, M., Rabe, F., Ricciotti, W., Coen, C., Sojakova, K.
Jazyk:	angličtina
Rok vydání:	2017
Předmět:	Human-Computer Interaction Type Theory Theoretical Computer Science Logical Frameworks
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od______3659::ce45ef37707610a0600a717c55fa90d6 http://hdl.handle.net/11390/1120541 Zobrazit plný text záznamu