Turning Catala into a Proof Platform for the Law

Autor:	Alain Delaët, Denis Merigoux, Aymeric Fromherz
Přispěvatelé:	Programming securely with cryptography (PROSECCO ), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), École normale supérieure - Lyon (ENS Lyon), Programming securely with cryptography (PROSECCO), École normale supérieure de Lyon (ENS de Lyon), Merigoux, Denis
Jazyk:	angličtina
Rok vydání:	2022
Předmět:	[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL] ComputingMilieux_MISCELLANEOUS [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
Zdroj:	POPL 2022-Programming Languages and the Law POPL 2022-Programming Languages and the Law, Jan 2022, Philadelphia, United States HAL
Popis:	International audience
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::32a459678c890fac169337ed1440d1eb https://hal.inria.fr/hal-03447072/file/paper.pdf Zobrazit plný text záznamu