Autor:	Alessi, F, Ciaffaglione, A, Di Gianantonio, P, Honsell, F, Lenisa, M, Scagnetto, I
Jazyk:	angličtina
Rok vydání:	2019
Předmět:	Logical Frameworks Logical Frameworks Type Theory Formal Reasoning Type Theory Formal Reasoning
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od______3659::5d47f45e57bf1b72c6639ea9f6f7ce01 http://hdl.handle.net/11390/1177511 Zobrazit plný text záznamu