Extended Initiality for Typed Abstract Syntax

Initial Semantics aims at interpreting the syntax associated to a signature as the initial object of some category of 'models', yielding induction and recursion principles for abstract syntax. Zsid\'o proves an initiality result for simply-typed syntax: given a signature S, the abstract syntax assoc...

Fuld beskrivelse

Bibliografiske detaljer

Hovedforfatter:	Benedikt Ahrens
Format:	Artigo
Sprog:	Inglês
Udgivet:	Logical Methods in Computer Science e.V. 2012-04-01
Serier:	Logical Methods in Computer Science
Fag:	computer science - logic in computer science computer science - programming languages d.3.1, f.4.3
Online adgang:	https://lmcs.episciences.org/1193/pdf
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!