Nominal Techniques for Software Specification and Verification (Invited Talk)

Autor:	Fernández, Maribel
Jazyk:	angličtina
Rok vydání:	2023
Předmět:	Type Systems Nominal Rewriting Unification Nominal Logic Theory of computation → Lambda calculus Theory of computation → Equational logic and rewriting Binding operator Equational Theories Theory of computation → Logic and verification
DOI:	10.4230/lipics.fscd.2023.1
Popis:	In this talk we discuss the nominal approach to the specification of languages with binders and some applications to programming languages and verification. LIPIcs, Vol. 260, 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), pages 1:1-1:4
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::b9528b12f6c816eba13d78b90b61ae63 Zobrazit plný text záznamu